Designing large real-time systems with Ada
Communications of the ACM
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Transformation of data flow analysis models to object oriented design
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
ACM SIGSOFT Software Engineering Notes
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Pragmatic definition of an object-oriented development process for Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The object-oriented systems life cycle
Communications of the ACM
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Using object-oriented development for support prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
Analysis/architecture models to ASG models: enabling the transition
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Integration of different system engineering methods using an object-oriented model
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Information systems security design methods: implications for information systems development
ACM Computing Surveys (CSUR)
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Cosimulation of real-time control systems
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Conceptual model of real-time systems: a perspective
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
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
Using object modeling to transform structured analysis into object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Petri net script: a visual language for describing action, behaviour and plot
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
Elements underlying the specification of requirements
Annals of Software Engineering
The Core Method for Real-Time Requirements
IEEE Software
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
SystemC
Specification of real-time imaging systems using the UML
Real-Time Imaging
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.05 |