Data Flow for High-level Design and Specification

Data Flow for High-level Design and Specification (1990)

Cached

Download Links

by Wolfgang Mueller

BibTeX

@MISC{Mueller90dataflow,
    author = {Wolfgang Mueller},
    title = {Data Flow for High-level Design and Specification},
    year = {1990}
}

Bookmark

OpenURL

Abstract

Citations

1054	The Z notation : A reference manual - Spivey - 1992
611	Systematic Software Development Using VDM - Jones - 1990
274	An introduction to Prolog III - Colmerauer - 1990
272	Object-Oriented Analysis - Coad, Yourdon - 1991
236	Program development by stepwise refinement - Wirth - 1971
154	Object-Oriented Systems Analysis, Modeling the World in Data; Yourdon - Shlaer, Mellor - 1988
103	Structured Development for RealTime Systems - Ward, Mellor - 1985
95	Structured analysis (sa): a language for communicating ideas - Ross - 1977
94	Strategies for Real-Time System Specification - HATLEY, PIRBHAI - 1987
77	The structure of “THE”-multiprogramming system - Dijkstra - 1982
73	Structured analysis for requirements definition - Ross, Schoman
66	Software Engineering Concepts - Fairley - 1985
61	Structured Analysis and System Specification. Yourdon Press. Englewood Cliffs - DeMarco - 1978
57	Program Design by Informal English Descriptions - Abbott - 1983
37	Structured Analysis and System Speci cation - DeMarco
33	An Object-Oriented Requirements Specification Method - Bailin - 1989
28	N-fold inspection: a requirements analysis technique - Martin, WT - 1990
27	Object Oriented Development - Booch - 1986
27	Semantics of Communicating Parallel Processes - Greif - 1975
25	Software Design Methods for Real-time Systems - Gomaa - 1993
24	Modern Structured Analysis, Yourdon Press: Prentice-Hall, Englewood Cli s - Yourdon - 1989
23	Structured Systems Analysis - Gane, Sarson - 1979
23	Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs - Jones - 1990
17	New Paradigms for Software Development - Agresti - 1986
16	A practical handbook for software development - Birrell, Ould - 1986
16	Modern Structured Analysis, Yourdon - Yourdon - 1989
15	How to Integrate Object Orientation with Structured Analysis - Ward - 1989
13	Software Requirements Engineering Methodology (SREM) at the Age of Four - Alford
12	KBRA: A New Paradigm for Requirements Engineering - Czuchry, Harris - 1988
8	77], "PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems - Teichroew, Hershey - 1977
8	Strategies for Real-Time System Speci cation - Hatley, Pirbhai - 1988
8	Structured Analysis for Requirements De nition - Ross, Schuman - 1977
7	Software Validation, Verification, Testing and Documentation - Andriole - 1986
7	Object Oriented Design with Applications," The Benjamin/Cummings - Booch - 1991
7	Systematischer Entwurf digitaler Systeme - Rammig - 1989
6	System Design - Jackson - 1983
5	Artificial Intelligence. Addison-Wesley Pub. Cy. Reading Ma. This article was processed using the L a T E X macro package with LLNCS style - Winston - 1984
5	The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cli s - Spivey - 1992
4	Describing Software Design in Ada - Booch - 1981
3	A Spiral Model of Development and Enhancement - Boehm - 1986
2	An Overview of the CALS - CALS - 1989
2	CASE tools emerge to handle real-time systems - Falk - 1988
2	An Integrated Approach to Software Requirements Definition Using Objects - Smith, Tockey - 1988
2	An Object-Oriented Requirements Speci cation Method - Bailin - 1989
1	Report on Teaching Ada - Abbott - 1980
1	Unit and Integration Test Manual - Abbott - 1988
1	Automated Object-Oriented Requirements Analysis and Design - Anderson, McDonald, et al.
1	Object-Oriented Requirements Analysis (OORA): A Practitioner's Crib Sheet - Coad - 1988
1	Standard - Automated Interchange of Technical Information - CALS - 1988
1	The Specification of Complex Systems, Addison-Wesley Publ - Cohen, Harwood, et al. - 1986