A presentation and comparison of four information system development methodologies
ACM SIGSOFT Software Engineering Notes
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
A comparison of techniques for the specification of external system behavior
Communications of the ACM
User interface design from a real time perspective
Communications of the ACM
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The software lifecycle with Ada: A command and control application
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
C-TODOS: an automatic tool for office system conceptual design
ACM Transactions on Information Systems (TOIS)
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Using object-oriented development for support prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
Validating the ADARTS software design method for real-time systems
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
RE-Analyzer: from source code to structured analysis
IBM Systems Journal
SCHEMASIM: a simulation environment for real-time systems
ACM SIGSIM Simulation Digest
Communications of the ACM
Communications of the ACM
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
An integration environment to put formal specifications into practical use in real-time systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Seven (plus or minus two) challenges for requirements research
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
Quality-driven model-based architecture synthesis for real-time embedded SoCs
Journal of Systems Architecture: the EUROMICRO Journal
Using focus rules in requirements elicitation dialogues
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Modern development methods and tools for embedded reconfigurable systems: A survey
Integration, the VLSI Journal
Challenges observed in the definition of reference business processes
BPM'07 Proceedings of the 2007 international conference on Business process management
Towards an open framework for conceptual knowledge in ECBS domain and information modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.08 |