KOBV Portal

Hits per page

hits 1 - 9 | 9 hits

Sorting

Online Resource

System development and Ada : proceedings (1987)

Habermann, Arie Nico [Sonstige] 1932- ; Workshop on Software Factories and Ada 1986 Capri

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035862358

Format: 1 Online-Ressource (305 S.)

ISBN: 3540183418 , 0387183418

Series Statement: Lecture notes in computer science 275

Language: English

Subjects: Computer Science

RVK:

ST 250

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Ada ; Konferenzschrift

DOI: 10.1007/3-540-18341-8

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

System development and Ada : proceedings (1987)

Habermann, Arie Nico, 1932- ; Workshop on Software Factories and Ada 1986 Capri

Berlin u.a. :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV000711842

Format: 305 S.

ISBN: 3-540-18341-8 , 0-387-18341-8

Series Statement: Lecture notes in computer science 275

Language: English

Subjects: Computer Science

RVK:

ST 250

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Ada ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

TU Berlin

Online Resource

System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26 - 30, 1986 ; proceedings (1987)

Habermann, Arie Nico 1932- ; Consorzio per le Ricerche e le Applicazioni di Informatica ; Workshop on Software Factories and Ada 1986 Capri

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_595130488

Format: Online-Ressource (305 S.)

Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive

ISBN: 9783540478850

Series Statement: Lecture notes in computer science 275

Content: Design of the rational environment -- The PCTE initiative: toward a european approach to software engineering -- Engineering VAX Ada for a multi-language programming environment -- The Ada environment — a personal view -- Knowledge-based software development from requirements to code -- The SMoLCS approach to the formal semantics of programming languages -- Project Graphs and meta-programs towards a theory of Software development -- Software development based on formal methods -- Integration of program construction and verification: the PROSPECTRA methodology -- Ada compiler validation: An example of software testing theory and practice -- The Software Engineering Institute at carnegie mellon university -- Task sequencing language for specifying distributed Ada systems.

Content: The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

Note: Literaturangaben

Additional Edition: ISBN 3540183418

Additional Edition: ISBN 0387183418

Additional Edition: ISBN 9783540183419

Additional Edition: Erscheint auch als Druck-Ausgabe System development and Ada Berlin [u.a.] : Springer, 1987 ISBN 3540183418

Additional Edition: ISBN 0387183418

Language: English

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Ada ; Systementwicklung ; Ada ; Konferenzschrift

DOI: 10.1007/3-540-18341-8

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

Online Resource

System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (1987)

Habermann, A. Nico. [editor.] ; Montanari, Ugo. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_9959186232802883

Format: 1 online resource (VIII, 308 p.)

Edition: 1st ed. 1987.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-47885-X

Series Statement: Lecture Notes in Computer Science, 275

Note: Bibliographic Level Mode of Issuance: Monograph , Design of the rational environment -- The PCTE initiative: toward a european approach to software engineering -- Engineering VAX Ada for a multi-language programming environment -- The Ada environment — a personal view -- Knowledge-based software development from requirements to code -- The SMoLCS approach to the formal semantics of programming languages -- Project Graphs and meta-programs towards a theory of Software development -- Software development based on formal methods -- Integration of program construction and verification: the PROSPECTRA methodology -- Ada compiler validation: An example of software testing theory and practice -- The Software Engineering Institute at carnegie mellon university -- Task sequencing language for specifying distributed Ada systems. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-18341-8

Language: English

DOI: 10.1007/3-540-18341-8

URL: http://dx.doi.org/10.1007/3-540-18341-8

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

Charité

Online Resource

System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings (1987)

Habermann, A. Nico. [editor.] ; Montanari, Ugo. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947920873202882

Format: VIII, 308 p. , online resource.

ISBN: 9783540478850

Series Statement: Lecture Notes in Computer Science, 275

Note: Design of the rational environment -- The PCTE initiative: toward a european approach to software engineering -- Engineering VAX Ada for a multi-language programming environment -- The Ada environment — a personal view -- Knowledge-based software development from requirements to code -- The SMoLCS approach to the formal semantics of programming languages -- Project Graphs and meta-programs towards a theory of Software development -- Software development based on formal methods -- Integration of program construction and verification: the PROSPECTRA methodology -- Ada compiler validation: An example of software testing theory and practice -- The Software Engineering Institute at carnegie mellon university -- Task sequencing language for specifying distributed Ada systems.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540183419

Language: English

DOI: 10.1007/3-540-18341-8

URL: http://dx.doi.org/10.1007/3-540-18341-8

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (1987)

Habermann, A. Nico. [editor.] ; Montanari, Ugo. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9948621266602882

Format: VIII, 308 p. , online resource.

Edition: 1st ed. 1987.

ISBN: 9783540478850

Series Statement: Lecture Notes in Computer Science, 275

Note: Design of the rational environment -- The PCTE initiative: toward a european approach to software engineering -- Engineering VAX Ada for a multi-language programming environment -- The Ada environment - a personal view -- Knowledge-based software development from requirements to code -- The SMoLCS approach to the formal semantics of programming languages -- Project Graphs and meta-programs towards a theory of Software development -- Software development based on formal methods -- Integration of program construction and verification: the PROSPECTRA methodology -- Ada compiler validation: An example of software testing theory and practice -- The Software Engineering Institute at carnegie mellon university -- Task sequencing language for specifying distributed Ada systems.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662210796

Additional Edition: Printed edition: ISBN 9783540183419

Language: English

DOI: 10.1007/3-540-18341-8

URL: https://doi.org/10.1007/3-540-18341-8

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (1987)

Habermann, Arie Nico 1932- ; Montanari, Ugo

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649207557

Format: Online-Ressource

ISBN: 9783540478850

Series Statement: Lecture Notes in Computer Science 275

Additional Edition: ISBN 9783540183419

Additional Edition: Buchausg. u.d.T. System development and Ada Berlin [u.a.] : Springer, 1987 ISBN 3540183418

Additional Edition: ISBN 0387183418

Language: English

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Ada ; Systementwicklung ; Ada ; Konferenzschrift

DOI: 10.1007/3-540-18341-8

URL: Volltext

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

Book

System Development and Ada : proceedings (1987)

Habermann, Arie N. ; Consorzio per le Ricerche e le Applicazioni di Informatica ; Workshop on Software Factories and Ada 1986 Capri

Berlin 〈〈[u.a.]〉〉 : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV024692330

Format: 305 S.

ISBN: 3540183418 , 0387183418

Series Statement: Lecture notes in computer science 275

Language: Undetermined

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26 - 30, 1986 ; proceedings (1987)

Habermann, Arie Nico 1932- ; Montanari, Ugo ; Habermann, Arie N. ; [et al.]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_024099511

Format: 305 S. , graph. Darst.

ISBN: 3540183418 , 0387183418

Series Statement: Lecture notes in computer science 275

Note: Literaturangaben , Design of the rational environment , The PCTE initiative , Engineering VAX Ada for a multi-language programming environment , The Ada environment--a personal view , Knowledge-based software development from requirements to code , SMoLCS approach to the formal semantics of programming languages , Project graphs and Meta-programs , Software development based on formal methods , Integration of program construction and verification , Ada compiler validation , The Software Engineering Institute at Carnegie Mellon University , Task sequencing language for specifying distributed Ada systems

Additional Edition: Online-Ausg. System development and Ada Berlin [u.a.] : Springer, 1987 ISBN 9783540478850

Additional Edition: Erscheint auch als Online-Ausgabe Habermann, Arie Nico, 1932 - System Development and Ada Berlin, Heidelberg : Springer Berlin Heidelberg, 1987 ISBN 9783540478850

Language: English

Keywords: Ada ; Systementwicklung ; Softwareentwicklung ; Ada ; Ada ; Systementwicklung ; Ada ; Konferenzschrift ; Konferenzschrift

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

hits 1 - 9 | 9 hits

Nothing or not found what you are looking for? Please check your search query. For a search / Interlibrary loan from abroad use the search set "KOBV International" in the old KOBV portal.

Did you mean 9783440180419?

Did you mean 9783540083412?

Did you mean 9783540083429?

Kooperativer Bibliotheksverbund

Berlin Brandenburg