Formal methods and software development : Proceedings of the [first] International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 29, 1985 Volume 2, Colloquium on software engineering (CSE)
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
186 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal methods and software development, Colloquium on Software Engineering (CSE), Berlin, Springer-Verlag, 1985, 1 vol. (XIV-455 p.), Lecture notes in computer science, 0-387-15199-0 • Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985, Texte imprimé, 9783662207468 |
Table des matières:
- On the relevance of formal methods to software development
- Combining algebraic and predicative specifications in Larch
- The role of proof obligations in software design
- Functional semantics of modules
- Intuition in software development
- A rational design process: How and why to fake it
- Formalization in systems development
- Specifying and prototyping: Some thoughts on why they are successful
- A formal specification of line representations on graphics devices
- Experiences with the PSG Programming System Generator
- Software construction using typed fragments
- Graph grammar engineering: A method used for the development of an integrated programming support environment
- Multidimensional tree-structured file spaces
- A theory of abstract data types for program development: Bridging the gap?
- Program development and documentation by informal transformations and derivations
- ASSPEGIQUE: An integrated environment for algebraic specifications
- Application of PROLOG to test sets generation from algebraic specifications
- A PROLOG environment for developing and reasoning about data types
- Algebraic specification of synchronisation and errors: A telephonic example
- Modelling concurrent modules
- Synthesis of parallel programs invariants
- Analyzing safety and fault tolerance using Time Petri nets
- Algebraic specification of a communication scheduler
- The integration and distribution phase in the software life cycle
- Formalized software development in an industrial environment
- Object oriented concurrent programming and industrial software production
- Experience of introducing the Vienna development method into an industrial organisation
- EDP system development methodology: Auditability and control
- Experiences with object oriented programming.