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

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

Formal specification using structured systems analysis

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_45 ◽

1989 ◽

pp. 293-310 ◽

Cited By ~ 3

Author(s):

Robert B. France ◽

Thomas W. G. Docker

Keyword(s):

Systems Analysis ◽

Formal Specification ◽

Structured Systems

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 ◽

Cited By ~ 4

Author(s):

Hans-Ludwig Hausen

Keyword(s):

Software Quality ◽

Rule Based

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 1

Author(s):

Daniele Nardi ◽

Marco Tucci

Keyword(s):

Software Project ◽

Event Calculus ◽

History Of

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 ◽

Cited By ~ 2

Author(s):

John Wordsworth

Keyword(s):

Formal Specification ◽

Practical Experience ◽

Programming Interface

Download Full-text

Systematic development of formal software process models

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_35 ◽

1989 ◽

pp. 100-117 ◽

Cited By ~ 3

Author(s):

Wolfgang Deiters ◽

Volker Gruhn ◽

Wilhelm Schäfer

Keyword(s):

Software Process ◽

Process Models ◽

Software Process Models ◽

Systematic Development

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 6

Author(s):

Celso Niskier ◽

Tom Maibaum ◽

Daniel Schwabe

Keyword(s):

Software Specification ◽

Knowledge Based

Download Full-text