Derivatives of Regular Expressions
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Contemporary software development environments
Communications of the ACM
Studying programmer behavior experimentally: the problems of proper methodology
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A language for formal problem specification
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
Modelling parallel systems with dynamic structure.
Modelling parallel systems with dynamic structure.
Proceedings of the workshop on Rapid prototyping
Inference from models of software systems
Journal of Systems and Software
Recent advances in software measurement (abstract and references for talk)
ICSE '90 Proceedings of the 12th international conference on Software engineering
Hi-index | 0.00 |
We present results from a research project to investigate the feasibility of software tools for analyzing designs of software systems. Such analysis would help the software developer to assess the acceptability of designs before the development of the software moves from the design phase into the implementation phase. If this could be done, futile implementation efforts based on faulty designs could be avoided.We have constructed a language for expressing designs of sequential and concurrent software systems, and software tools to analyze these designs. Our analysis tools derive behavior information, in terms of reachable states or possible sequences of significant events, from system descriptions in a variety of ways. By means of controlled human-factors experiments, we have determined that our analysis tools and techniques are indeed useful, to varying extents, in helping people to understand designs and find flaws in them.