ACM Computing Surveys (CSUR)
A software design and evaluation system
Communications of the ACM
Finite state testing of structured programs
Programming Symposium, Proceedings Colloque sur la Programmation
Finite state modelling in program development
Proceedings of the international conference on Reliable software
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Principles of Program Design
Behavior Modeling During Software Design
IEEE Transactions on Software Engineering
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Inference from models of software systems
Journal of Systems and Software
| Hi-index | 0.00 |
Modeling is a fundamental technique for coping with undesirable complexity in constructing and reasoning about software systems. The concept of modeling can be applied to software design and implementation in two ways: a design can be viewed as an abstract model of the system it represents, and designs and implementations may be represented by even more abstract, simplified models for purposes of analysis. A discussion of these concepts and their applications is presented, including a case study showing the use of modeling in the debugging of an actual software system and remarks on research in progress.