Buch, Englisch, Band 873, 732 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1107 g
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Buch, Englisch, Band 873, 732 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1107 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-58555-8
Verlag: Springer Berlin Heidelberg
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsinformatik, SAP, IT-Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Business Application Tabellenkalkulation
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Business Application Unternehmenssoftware SAP
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
Weitere Infos & Material
From action systems to modular systems.- Formal methods in the railways signalling industry.- Formal and informal specifications of a secure system component: first results in a comparative study.- Formalising British rail's signalling rules.- Three applications of formal methods at MITRE.- Specification and analysis of a security management system.- Verification techniques for LOTOS.- Experiences in using the abstract machine notation in a GKS case study.- Seven more myths of formal methods: Dispelling industrial prejudices.- Comparing approaches to data reification.- Towards a formalization of programming-by-difference.- A new concept of refinement used for behaviour modelling with automata.- An extended VDM refinement relation.- On transferring VDM verification techniques to Z.- Proof-based development of specifications with KIDS/VDM.- Evaluation of underdetermined explicit definitions.- A precise examination of the behaviour of process models.- A theory of presentations.- Applying a concurrent formal framework to process modelling.- From MooZ to eiffel — A rigorous approach to system development.- OPUS: a formal approach to object-orientation.- A strategy for the production of verifiable code using the B Method.- Specifying & verifying concurrent systems using Z.- A critical look at functional specifications.- Informal strategies in design by refinement.- An experimental support system for formal mathematical reasoning.- Literate mathematical development of a revision management system.- An action semantics for ML concurrency primitives.- A semantics for NewSpeak in VDM-SL.- Evaluation semantics in Z.- Abstract model checking of infinite specifications.- Case study: Specification and refinement of the PI-Bus.- Stepwise refinement of control software — A casestudy using RAISE.- Specifying safety and progress properties with RSL.- Validation of a railway interlocking model.- A formal specification of an automatic train protection system.- Adding real time to formal program development.- Combining the design of industrial systems with effective verification techniques.- RTL and refutation by positive cycles.- Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra.- Deriving relational database programs from formal specifications.
