Articoli correlati a Algebraic Methods II: Theory, Tools and Applications:...
Sinossi
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540539123
- ISBN 13 9783540539124
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine444
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 53,49
EUR 14,99 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Algebraic Methods II: Theory, Tools and Applications:...
Foto dell'editore
Algebraic Methods II: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen, Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 444 | Sprache: Englisch | Produktart: Bücher. Codice articolo 78081/202
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Methods II: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394. Codice articolo 9783540539124
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540539124_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Methods II: Theory, Tools and Applications
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.Formalizing informal requirements some aspects.- ViewPoin. Codice articolo 4892980
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Methods II: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394. 444 pp. Englisch. Codice articolo 9783540539124
Quantità: 2 disponibili
Foto dell'editore
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo UTD14a-1173
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020169820
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Methods II: Theory, Tools and Applications
ISBN 10: 3540539123
ISBN 13: 9783540539124
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch. Codice articolo 9783540539124
Quantità: 2 disponibili