Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540636137, 9783540696100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A semantic reference specification for SSADM

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_23 ◽

1997 ◽

pp. 61-74

Keyword(s):

Semantic Reference

Download Full-text

Terminology

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_19 ◽

1997 ◽

pp. 13-17

Download Full-text

Summary and outlook

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_29 ◽

1997 ◽

pp. 225-232

Download Full-text

The SSADM technique “data flow modelling”

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_28 ◽

1997 ◽

pp. 207-223

Keyword(s):

Data Flow ◽

Flow Modelling

Download Full-text

Formal extensions for SSADM-F

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_27 ◽

1997 ◽

pp. 185-206

Download Full-text

Logical consistency of SSADM-F

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_26 ◽

1997 ◽

pp. 161-183

Keyword(s):

Logical Consistency

Download Full-text

The SSADM technique “logical data modelling”

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_24 ◽

1997 ◽

pp. 75-97

Keyword(s):

Data Modelling ◽

Logical Data

Download Full-text

Alternative ways to an integration of SSADM and spectrum

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_22 ◽

1997 ◽

pp. 37-60

Download Full-text

Spectrum — a formal specification framework

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_21 ◽

1997 ◽

pp. 27-36

Keyword(s):

Formal Specification

Download Full-text

The SSADM technique “entity-event modelling”

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63613-7_25 ◽

1997 ◽

pp. 99-160

Download Full-text

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A semantic reference specification for SSADM

Terminology

Summary and outlook

The SSADM technique “data flow modelling”

Formal extensions for SSADM-F

Logical consistency of SSADM-F

The SSADM technique “logical data modelling”

Alternative ways to an integration of SSADM and spectrum

Spectrum — a formal specification framework

The SSADM technique “entity-event modelling”

Formal Foundations for Software Engineering Methods - Lecture Notes in Computer Science
Latest Publications