|
|
|
|
| LEADER |
00000nmm a2200000 u 4500 |
| 001 |
EB000655017 |
| 003 |
EBX01000000000000000508099 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783540393078
|
| 028 |
5 |
0 |
|a 10.1007/3-540-15199-0
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 082 |
0 |
|
|a 005.1
|
| 100 |
1 |
|
|a Ehrig, Hartmut
|e [editor]
|
| 245 |
0 |
0 |
|a Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
|h Elektronische Ressource
|b Volume 2: Colloquium on Software Engineering (CSE)
|c edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
|
| 250 |
|
|
|a 1st ed. 1985
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1985, 1985
|
| 300 |
|
|
|a XVII, 459 p
|b online resource
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science
|v 186
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Software engineering
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Software Engineering
|
| 700 |
1 |
|
|a Floyd, Christiane
|e [editor]
|
| 700 |
1 |
|
|a Nivat, Maurice
|e [editor]
|
| 700 |
1 |
|
|a Thatcher, James
|e [editor]
|
| 856 |
4 |
|
|u https://doi.org/10.1007/3-540-15199-0?nosfx=y
|x Verlag
|3 Volltext
|
| 989 |
|
|
|b SBA
|b SBA
|
| 989 |
|
|
|b ZDB-2-SXCS
|b ZDB-2-SXCS
|
| 989 |
|
|
|b ZDB-2-BAE
|b ZDB-2-BAE
|
| 989 |
|
|
|b ZDB-2-SCS
|b ZDB-2-SCS
|
| 989 |
|
|
|b ZDB-2-LNC
|b ZDB-2-LNC
|a Springer Book Archives -2004
|