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.
Algebraic Methods II: Theory, Tools and Applications [[electronic resource] /] / edited by Jan A. Bergstra, Loe M.G. Feijs
| Algebraic Methods II: Theory, Tools and Applications [[electronic resource] /] / edited by Jan A. Bergstra, Loe M.G. Feijs |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 436 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Applied mathematics Engineering mathematics Data structures (Computer science) Software engineering Computer programming Programming languages (Electronic computers) Applications of Mathematics Data Structures and Information Theory Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46351-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formalizing informal requirements some aspects -- ViewPoint oriented software development: Methods and viewpoints in requirements engineering -- Using transformations to verify parallel programs -- Experiences with combining formalisms in VVSL -- A meta-environment for generating programming environments -- Introducing formal requirements into industry -- Where can I get gas round here? — an application of a design methodology for distributed systems -- Transformations of designs -- Norman's database modularised in COLD-K -- POLAR a picture-oriented language for abstract representations -- Inheritance in COLD -- A process specification formalism based on static COLD -- Specification of the transit node in PSFd -- Design of a specification language by abstract syntax engineering -- From an ERAE requirements specification to a PLUSS algebraic specification: A case study. |
| Record Nr. | UNISA-996465417703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra
| Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 564 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer communication systems Computer logic Software Engineering Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Logics and Meanings of Programs |
| ISBN | 3-540-46758-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples. |
| Record Nr. | UNISA-996465728003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||