An entity-life modeling approach to the design of concurrent software
Communications of the ACM
An object-oriented requirements specifications method
Communications of the ACM
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
An object-oriented approach to domain analysis
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
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Timing extensions to structured analysis for real time systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Dynamical system specifications as validation media
ACM SIGPLAN Notices
A laboratory for teaching the development of real-time software systems
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Structured analysis and object-oriented development are not compatible
ACM SIGAda Ada Letters
Structured analysis and object-oriented design are compatible
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
Using a model railroad to teach Ada and software engineering
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
A model railroad for Ada and software engineering
Communications of the ACM
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
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)
Towards a requirements definition, specification and system design environment
EURO-DAC '92 Proceedings of the conference on European design automation
Ada 9X and CASE: a methods perspective
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
RE-Analyzer: from source code to structured analysis
IBM Systems Journal
Maximizing leverage from an object database
IBM Systems Journal
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Automatic generation of scheduling and communication code in real-time parallel programs
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Practical verification for requirements model of Hatley/Pirbhai
ACM SIGSOFT Software Engineering Notes
Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics
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
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
A behaviorally-based methodology for modeling system specifications
ACM SIGSOFT Software Engineering Notes
An approach for integrated specification and design of real-time systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
WSC '93 Proceedings of the 25th conference on Winter simulation
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Enabling reuse with Ada generics
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Comparison of OOA and real-time SA—from the experiment of analyzing an image filing system
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Timing-driven HW/SW codesign based on task structuring and process timing simulation
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Object oriented simulation tools necessary for a flexible batch process management architecture
WSC '91 Proceedings of the 23rd conference on Winter simulation
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
An object-oriented specification method for Ada
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Timing driven co-design of networked embedded systems
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
An efficient set of software degree programs for one domain
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Practical applications of CASE tools on DoD projects
ACM SIGSOFT Software Engineering Notes
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Building a Multisite Web Architecture
IEEE Internet Computing
Automating the Development of Distributed Control Software
IEEE Parallel & Distributed Technology: Systems & Technology
Developing Highly Reliable Software
IEEE Micro
Extending Teamwork for Architecture Diagrams
IEEE Software
The Core Method for Real-Time Requirements
IEEE Software
Software Process Improvement At Raytheon
IEEE Software
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
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
Software Technologies for Embedded Systems: An Industry Inventory
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Evaluating real-time software specification languages
Computer Standards & Interfaces
FrameKit and the prototyping of CASE environments
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
How to choose a software development method: a French company EDF's experience report
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
UML for hardware and software object modeling
UML for real
Specification of real-time imaging systems using the UML
Real-Time Imaging
Towards a theory for hardware/software codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
The use of computer-aided software engineering technology in systems and software design
EURO-DAC '90 Proceedings of the conference on European design automation
Embedded Software Engineering: The State of the Practice
IEEE Software
An empirical approach to software architectures
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Integration of CASE into undergraduate education
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
Formal methods for embedded distributed systems
Modeling real-time communication systems: Practices and experiences in Motorola
Journal of Visual Languages and Computing
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A Systems Engineering Environment For Integrated Automotive Powertrain Development
Journal of Integrated Design & Process Science
Information Sciences: an International Journal
Domain-Specific Software Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Detailing and deriving system requirements
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Real-world semantics of conceptual models
The evolution of conceptual modeling
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
A method for development of adequate requirement specification in the plant control software domain
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Towards timed automata and multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A MOF-Based metamodel for SA/RT
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Model-Driven engineering in a large industrial context — motorola case study
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A tale of two case studies: using integrated methods to support rigorous requirements specication
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Regular paper: Temporal analysis of data flow control systems
Automatica (Journal of IFAC)
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.05 |