Formalization of techniques: chopping down the methodology jungle

Avison, 1988 Bubenko, 1986, Information system methodologies — a research view, 289 Olle, 1988 Wijers, 1990, Automated support of the modelling process: a view based on experiments with expert information engineers, 88 Seligmann, 1989, Analyzing the structure of I.S. methodologies, an alternative approach Gane, 1986, Structured system analysis: tools and techniques Harel, 1988, On visual formalisms, Commun. ACM, Vol 31, 514, 10.1145/42411.42414 Jones, 1986 Spivey, 1988 van der Weide, 1990, The uniquest algorithm: a formal semantics of complex uniqueness constraints Scheschonk, 1984, Eine auf Petri-Netzen basierende Konstruktions, Analyse und (Teil) Verificationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen Nijssen, 1989 de Troyer, 1988, RIDL∗ on the CRIS case: a workbench for NIAM, 375 Chen, 1976, The entity-relationship model: toward a unified view of data, ACM Trans. Database Syst., Vol 1, 9, 10.1145/320434.320440 Teory, 1986, A logical design methodology for relational databases using the extended entity-relationship model, Comput. Surv., Vol 18, 197, 10.1145/7474.7475 Yourdon, 1989 Lewis, 1981 Waite, 1984 van Bommel, 1991, Semantics and verification of object-role models, Inf. Syst., Vol 16, 10.1016/0306-4379(91)90037-A Bruza, 1989, The semantics of data flow diagrams Lundeberg, 1981 Falkenberg, 1991, Understanding process structure diagrams, Inf. Syst., Vol 16, 10.1016/0306-4379(91)90032-5 Osterweil, 1987, Software processes are software too, 2 Tse, 1989, Toward a formal definition for DeMarco data flow diagrams, Computer J., Vol 32, 1, 10.1093/comjnl/32.1.1 Genrich, 1987, Predicate/transition nets, 207 Wijers, 1991, Representation of information modelling knowledge, 159 Bergstra, 1982, Van dataflowdiagrammen via petrinetten naar systeemmatrixnotatie