Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XVII, 459 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-39307-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466096503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
| Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XVIII, 422 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Combinatorics Theory of Computation Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-39302-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification and top down design of distributed systems -- Specification languages for distributed systems -- Semantically based programming tools (Summary) -- From function level semantics to program transformation and optimization -- Inductively defined functions -- Three approaches to type structure -- On the maximum size of random trees -- Fast searching in a real algebraic manifold with applications to geometric complexity -- Typed categorical combinatory logic -- A path ordering for proving termination of term rewriting systems -- A rewrite rule based approach for synthesizing abstract data types -- “Delayability” in proofs of strong normalizability in the typed lambda Calculus -- Bisimulations and abstraction homomorphisms -- A metric characterization of fair computations in CCS -- A complete modal proof system for a subset of SCCS -- Amalgamation of graph transformations with applications to synchronization -- Decompilation of control structures by means of graph transformations -- Synchronized bottom-up tree automata and L-systems -- On observational equivalence and algebraic specification -- Parameter preserving data type specifications -- On the parameterized algebraic specification of concurrent systems -- The semantics of shared submodules specifications -- Why Horn formulas matter in computer science: Initial structures and generic examples -- On the implementation of abstract data types by programming language constructs -- A LISP compiler for FP language and its proof via algebraic semantics. |
| Record Nr. | UNISA-996466099303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||