2nd BCS-FACS Northern Formal Methods Workshop
Springer Berlin (Hersteller)
978-3-540-76215-7 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
The Pi calculus and its applications, R. Miller; On the industrial value of models, P. Gorm Larsen; Formal methods and standards, D.A. Duce; On formal semantics of state-charts as supported by Statemate, E. Mikk et al; Using LOTOS for the evaluation of design options in the PREMO standard, G.P. Faconti, M. Massink; Modelling program compilation in the refinement calculus, C.J. Fidge; Translating LOTOS to Object-Z, J. Derrick et al; Algebraic advances for aliasing, A.P. Hugues, A. Donnelly; The geometry of distributions in Formal Methods. M. Mac Airchinnigh, A.P. Hughes; Generating formal specifications from CASE repositories, B. Ryan; A tool for Logic Program refinement, R. Colvin et al; Formalising correlate - from practice to PI, B. Robben et al; relaxing property preservation in the refinement of concurrent systems, M. Siegel; Communication traces in the verification of distributed programs, N. Soudarajan; Using graphical icons to build Z specifications, C.N. Yap, M. Holcombe; Analysis of abstract syntax trees of Z specifications, L. Mikusiak, V. Vojtek; Coupling schemas - data refinement and view (point) composition, E.A. Boiten et al; The real numbers in Z, W.R. Oliveira, R.S.M. Barros; Object-oriented operations have tow parts, A. Griffiths; Foundations of the unified modelling language, A.S. Evans, T. Clark. (Part contents).
Verlagsort | Berlin |
---|---|
Sprache | englisch |
Gewicht | 80 g |
Einbandart | Paperback |
Themenwelt | Informatik ► Software Entwicklung ► Objektorientierung |
ISBN-10 | 3-540-76215-9 / 3540762159 |
ISBN-13 | 978-3-540-76215-7 / 9783540762157 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |