Chapter: Formal methods in software development requirements for a CASE

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Software Development Environments and Case Technology: European Symposium, Königswinter, June 17-19, 1991. Proceedings > Formal methods in software development requirements for a CASE

Software Development Environments and Case Technology: European Symposium, Königswinter, June 17-19, 1991. Proceedings |

Albert Endres; Herbert Weber

Springer Berlin Heidelberg

Software Development Environments and Case Technology: European Symposium, Königswinter, June 17-19, 1991. Proceedings

Formal methods in software development requirements for a CASE

Chapter Info

Authors

Dines Bjørner; Søren Prehn

ARI Id

1664347129765_1312770

Access

Not Available Free

Pages

178-210

DOI

10.1007/3-540-54194-2_36

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-54194-2_36

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 22 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter
Systems engineering environments of ATMOSPHERE	Henk Obbink	1-17
Building IPSE's by combining heterogeneous case tools	Peter Göhner	18-30
On the functional and architectural integration of CASE systems	Günter Merbeth	31-43
Development of a method driven CAS2E tool	Jonah Z. Lavi; Michael Winokur	44-52
VSF and its relationship to open systems and standard repositories	John N. Pocock	53-68
Adding control integration to PCTE	Huw Oliver	69-80
Meta-case technology	Albert Alderson	81-91
Management issues in software development	Rainer Burchett	92-98
Standardization of software development environments	Adolf Peter Bröhl	99-108
A software development environment for CIM applications	Lothar Köhler	109-113
A repository and other tools in a commercial development center	Dieter Steinbauer	114-129
Lessons learned from domino and grapes	Johann Wagner	130-142
Should CASE be application dependent?	Peter Hruschka	143-152
Utilizing fifth generation technology in software development tools	Wolfgang Henhapl; Stefan Kaes; Gregor Snelting	153-166
Integrated software components: A paradigm for control integration	Dominique Clément; Vincent Prunet; Francis Montagnac	167-177
Formal methods in software development requirements for a CASE	Dines Bjørner; Søren Prehn	178-210
Modeling of software architectures: Importance, notions, experiences	Manfred Nagl	211-232
A configurable framework for method and tool integration	Jeff Kramer; Anthony Finkelstein	233-257
Recent findings in software process maturity	Watts S. Humphrey	258-270
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 22 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries