Lecture Notes in Computer Science - ESEC '89
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540516354, 9783540467236

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal specification using structured systems analysis

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_45 ◽

1989 ◽

pp. 293-310 ◽

Author(s):

Robert B. France ◽

Thomas W. G. Docker

Keyword(s):

Systems Analysis ◽

Formal Specification ◽

Structured Systems

Download Full-text

HCDM/GSDS — A design environment for real-time software with automatic program generation

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_47 ◽

1989 ◽

pp. 324-335

Author(s):

Michael Fastenbauer ◽

Heinz Saria

Keyword(s):

Real Time ◽

Design Environment ◽

Program Generation ◽

Automatic Program

Download Full-text

An object-oriented approach to the system analysis

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_51 ◽

1989 ◽

pp. 395-410 ◽

Author(s):

F. Manfredi ◽

G. Orlando ◽

P. Tortorici

Keyword(s):

System Analysis ◽

Object Oriented ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text

A pluralistic knowledge-based approach to software specification

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_52 ◽

1989 ◽

pp. 411-423 ◽

Author(s):

Celso Niskier ◽

Tom Maibaum ◽

Daniel Schwabe

Keyword(s):

Software Specification ◽

Knowledge Based

Download Full-text

MENU - an example for the systematic reuse of specifications

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_30 ◽

1989 ◽

pp. 20-41 ◽

Author(s):

Martin Wirsing ◽

Rolf Hennicker ◽

Robert Stabl

Keyword(s):

Systematic Reuse

Download Full-text

Rule-based handling of software quality and productivity models

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_50 ◽

1989 ◽

pp. 376-394 ◽

Author(s):

Hans-Ludwig Hausen

Keyword(s):

Software Quality ◽

Download Full-text

Tool integration in an open environment

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_46 ◽

1989 ◽

pp. 311-323 ◽

Author(s):

M. Lacroix ◽

M. Vanhoedenaghe

Keyword(s):

Tool Integration ◽

Open Environment

Download Full-text

Version management in the PACT integrated software engineering environment

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_42 ◽

1989 ◽

pp. 222-242 ◽

Author(s):

Flávio Oquendo ◽

Karima Berrada ◽

Ferdinando Gallo ◽

Régis Minot ◽

Ian Thomas

Keyword(s):

Software Engineering ◽

Version Management ◽

Engineering Environment ◽

Integrated Software

Download Full-text

An application of the event calculus for representing the history of a software project

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_39 ◽

1989 ◽

pp. 176-190 ◽

Author(s):

Daniele Nardi ◽

Marco Tucci

Keyword(s):

Software Project ◽

Event Calculus ◽

Download Full-text

Practical experience of formal specification: A programming interface for communications

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_37 ◽

1989 ◽

pp. 140-158 ◽

Author(s):

John Wordsworth

Keyword(s):

Formal Specification ◽

Practical Experience ◽

Programming Interface

Download Full-text