Lecture Notes in Computer Science - System Development and Ada
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540183419, 9783540478850

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ada compiler validation: An example of software testing theory and practice

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_22 ◽

1987 ◽

pp. 195-232

Author(s):

John B. Goodenough

Keyword(s):

Software Testing ◽

Theory And Practice ◽

Testing Theory

Download Full-text

Integration of program construction and verification: the PROSPECTRA methodology

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_21 ◽

1987 ◽

pp. 173-194 ◽

Cited By ~ 1

Author(s):

Bernd Krieg-Brückner

Keyword(s):

Program Construction

Download Full-text

The Software Engineering Institute at carnegie mellon university

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_23 ◽

1987 ◽

pp. 233-248

Author(s):

A. N. Habermann

Keyword(s):

Software Engineering ◽

Engineering Institute

Download Full-text

Project Graphs and meta-programs towards a theory of Software development

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_19 ◽

1987 ◽

pp. 117-152 ◽

Cited By ~ 2

Author(s):

Dines Bjørner

Keyword(s):

Software Development

Download Full-text

The PCTE initiative: toward a european approach to software engineering

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_14 ◽

1987 ◽

pp. 16-29 ◽

Cited By ~ 2

Author(s):

Ferdinando Gallo ◽

Bull DRTG/GL

Keyword(s):

Software Engineering ◽

European Approach

Download Full-text

The Ada environment — a personal view

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_16 ◽

1987 ◽

pp. 48-61

Author(s):

Vic Stenning

Keyword(s):

Personal View

Download Full-text

Software development based on formal methods

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_20 ◽

1987 ◽

pp. 153-172

Author(s):

C. B. Jones

Keyword(s):

Software Development ◽

Formal Methods

Download Full-text

Engineering VAX Ada for a multi-language programming environment

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_15 ◽

1987 ◽

pp. 30-47

Author(s):

Charles Z. Mitchell

Keyword(s):

Programming Environment

Download Full-text

Knowledge-based software development from requirements to code

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_17 ◽

1987 ◽

pp. 62-80

Author(s):

Stephen J. Westfold ◽

Lawrence Z. Markosian ◽

William A. Brew

Keyword(s):

Software Development ◽

Knowledge Based

Download Full-text

Design of the rational environment

Lecture Notes in Computer Science - System Development and Ada ◽

10.1007/3-540-18341-8_13 ◽

1987 ◽

pp. 1-15 ◽

Cited By ~ 1

Author(s):

James E. Archer

Download Full-text

Lecture Notes in Computer Science - System Development and AdaLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Ada compiler validation: An example of software testing theory and practice

Integration of program construction and verification: the PROSPECTRA methodology

The Software Engineering Institute at carnegie mellon university

Project Graphs and meta-programs towards a theory of Software development

The PCTE initiative: toward a european approach to software engineering

The Ada environment — a personal view

Software development based on formal methods

Engineering VAX Ada for a multi-language programming environment

Knowledge-based software development from requirements to code

Design of the rational environment

Lecture Notes in Computer Science - System Development and Ada
Latest Publications