Formalization of techniques: chopping down the methodology jungle

Information and Software Technology

Volumn 34, Issue 1, 1992, Pages 57-65

  ter Hofstede, AHM ^a   van der Weide, TP ^b  

^a Software Engineering Research Centre   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

formalization; information systems; methodologies

Indexed keywords

DATABASE SYSTEMS; INFORMATION SYSTEMS;

FORMALIZATION; PREDICTOR MODEL;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026622422     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(92)90094-6     Document Type: Article

References (27)

1. Information system methodologies — a research view
2. Automated support of the modelling process: a view based on experiments with expert information engineers
3. Analyzing the structure of I.S. methodologies, an alternative approach
4. Structured system analysis: tools and techniques
5. On visual formalisms
6. The uniquest algorithm: a formal semantics of complex uniqueness constraints
7. Eine auf Petri-Netzen basierende Konstruktions, Analyse und (Teil) Verificationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen
8. RIDL∗ on the CRIS case: a workbench for NIAM
9. The entity-relationship model---toward a unified view of data
10. A logical design methodology for relational databases using the extended entity-relationship model
11. Semantics and verification of object-role models
12. The semantics of data flow diagrams
13. Understanding process structure diagrams
14. Software processes are software too
15. Toward a formal definition for DeMarco data flow diagrams
16. Predicate/transition nets
17. Representation of information modelling knowledge
18. Van dataflowdiagrammen via petrinetten naar systeemmatrixnotatie