Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Current trends in concurrency. Overviews and tutorials
Computer tools for construction, modification and analysis of Petri nets
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Communications of the ACM
A Distributed Specification Model and its Prototyping
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software requirements: analysis and specification
Software requirements: analysis and specification
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Software aspects of strategic defense systems
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model reusability in a graphical simulation package
WSC '92 Proceedings of the 24th conference on Winter simulation
Forging a silver bullet from the essence of software
IBM Systems Journal
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An integrated approach to engineering computer systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Evolving the VV&A process for the ALSP Joint Training Confederation
WSC '96 Proceedings of the 28th conference on Winter simulation
A case study of verification, validation, and accreditation for advanced distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Model-Based Software Synthesis
IEEE Software
Concurrent Engineering for Real-Time Systems
IEEE Software
Does OO Sync with How We Think?
IEEE Software
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
Syntactic and Semantic Graphics Recognition: The Role of the Object-Process Methodology
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A design methodology to develop efficient fork-join structures
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
The use of a virtual instruction set for the software synthesis of Hw/Sw embedded systems
ISSS '96 Proceedings of the 9th international symposium on System synthesis
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
An example of linking formal methods with case tools: a model checker for statecharts
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Visual formalisms for configuration management
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Climbing over the "No Silver Bullet" Brick Wall
IEEE Software
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Journal of Integrated Design & Process Science
Semantic Integration Of Embedded Systems Design Data In An Industrial Setting
Journal of Integrated Design & Process Science
Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach
Integrated Computer-Aided Engineering
Automated Software Engineering
3D visualization techniques to support slicing-based program comprehension
Computers and Graphics
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Tools for model-based real-time system synthesis
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Model-based engineering of large-scale real-time systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 4.10 |
The author responds to two discouraging position papers by F.B. Brooks, Jr. (see ibid., vol.20, no.4, p 10-19, 1987) and D.L. Parnas (see Commun. ACM, vol.28, no.12, p.1326-35, 1985) regarding the potential of software engineering. While agreeing with most of the specific points made in both papers, he illuminates the brighter side of the coin, emphasizing developments in the field that were too recent or immature to have influenced Brooks and Parnas when they wrote their manuscripts. He reviews their arguments, and then considers a class of systems that has been termed reactive, which are widely considered to be particularly problematic. He reviews a number of developments that have taken place in the past several years and submits that they combine to form the kernel of a solid general-purpose approach to the development of complex reactive systems.