A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
Computer
A proposal for a recursive object-oriented life-cycle
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming pearls: the Furbelow memorandum
Communications of the ACM
Communications of the ACM
The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing systems for object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Box-structured methods for systems development with objects
IBM Systems Journal
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Methodologies development and software quality metrics in educational applications
TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
| Hi-index | 0.03 |