Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

2nd BCS-FACS Northern Formal Methods Workshop

Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
VI, 11 Seiten
1998
Springer Berlin (Hersteller)
978-3-540-76215-7 (ISBN)
CHF 49,95 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
The aim of this workshop, held in Ilkley, Yorkshire in July 1997, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented computer systems.

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?