skip to content
System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings Preview this item
ClosePreview this item
Checking...

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

Author: A Nico Habermann; Ugo Montanari
Publisher: Berlin, Heidelberg : Springer-Verlag, 1987.
Series: Lecture notes in computer science, 275.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: A Nico Habermann; Ugo Montanari
ISBN: 9783540478850 354047885X
OCLC Number: 827358159
Description: 1 online resource : v.: digital.
Contents: 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 --
A Tutorial Introduction --
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.
Series Title: Lecture notes in computer science, 275.
Responsibility: edited by A. Nico Habermann, Ugo Montanari.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/827358159> # System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "827358159" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/349011890#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/numerical_and_computational_methods_in_engineering> ; # Numerical and Computational Methods in Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/computer_science> ; # Computer Science
    schema:about <http://dewey.info/class/004.25/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/math_applications_in_chemistry> ; # Math. Applications in Chemistry
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/853398> ; # Chemistry--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.loc.gov/authorities/subjects/sh2005000963> ; # Chemistry--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/349011890#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/226595647> ; # Ugo Montanari
    schema:contributor <http://viaf.org/viaf/1219882> ; # A. Nico Habermann
    schema:creator <http://experiment.worldcat.org/entity/work/data/349011890#Meeting/workshop_on_software_factories_and_ada_1986_capri_italy> ; # Workshop on Software Factories and Ada (1986 : Capri, Italy)
    schema:datePublished "1987" ;
    schema:description "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 -- A Tutorial Introduction -- 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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/349011890> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings"@en ;
    schema:productID "827358159" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/827358159#PublicationEvent/berlin_heidelberg_springer_verlag_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/349011890#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/3-540-18341-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540478850> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/827358159> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/349011890#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Meeting/workshop_on_software_factories_and_ada_1986_capri_italy> # Workshop on Software Factories and Ada (1986 : Capri, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/349011890#Place/capri_italy> ; # Capri, Italy)
    schema:name "Workshop on Software Factories and Ada (1986 : Capri, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Place/capri_italy> # Capri, Italy)
    a schema:Place ;
    schema:name "Capri, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Topic/math_applications_in_chemistry> # Math. Applications in Chemistry
    a schema:Intangible ;
    schema:name "Math. Applications in Chemistry"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Topic/numerical_and_computational_methods_in_engineering> # Numerical and Computational Methods in Engineering
    a schema:Intangible ;
    schema:name "Numerical and Computational Methods in Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349011890#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2005000963> # Chemistry--Mathematics
    a schema:Intangible ;
    schema:name "Chemistry--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/853398> # Chemistry--Mathematics
    a schema:Intangible ;
    schema:name "Chemistry--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/1219882> # A. Nico Habermann
    a schema:Person ;
    schema:birthDate "1932" ;
    schema:familyName "Habermann" ;
    schema:givenName "A. Nico" ;
    schema:name "A. Nico Habermann" ;
    .

<http://viaf.org/viaf/226595647> # Ugo Montanari
    a schema:Person ;
    schema:familyName "Montanari" ;
    schema:givenName "Ugo" ;
    schema:name "Ugo Montanari" ;
    .

<http://worldcat.org/isbn/9783540478850>
    a schema:ProductModel ;
    schema:isbn "354047885X" ;
    schema:isbn "9783540478850" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/827358159> ; # System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/827358159>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/827358159> ; # System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings
    schema:dateModified "2016-09-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.