On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
On the inevitable intertwining of specification and implementation
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
A Relational Data Base Foundation for Process Specification
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
The semantic elegance of applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Software requirements in the 80's
ACM '80 Proceedings of the ACM 1980 annual conference
The life cycle: a debate over alternate models
ACM SIGSOFT Software Engineering Notes
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundational problems in software process research
ACM SIGSOFT Software Engineering Notes
Thoughts on the software process
ACM SIGSOFT Software Engineering Notes
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent development of software systems
ACM SIGSOFT Software Engineering Notes
The JSP-Tutor: a computerized aid for teaching Jackson structured programming
ACM SIGSMALL/PC Notes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Distributed Specification Model and its Prototyping
IEEE Transactions on Software Engineering
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Language issues in the specification and design of composite systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
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
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
A concurrent process model of software development
ACM SIGSOFT Software Engineering Notes
Time-extraction for temporal logic-logic programming and local process time
Journal of Computer and System Sciences
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
IEEE Transactions on Software Engineering
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Static, dynamic and run-time modeling of compound classes
ACM SIGPLAN Notices
An integrated approach to engineering computer systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
Implementing inheritance in operational graphical languages
ACM SIGSOFT Software Engineering Notes
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
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
An example of applying the codesign method MOOSE
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Understanding the software paradox
ACM SIGSOFT Software Engineering Notes
Let's put more emphasis on perspective methods
ACM SIGSOFT Software Engineering Notes
Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project)
ACM SIGMICRO Newsletter
Engineering Real-Time Robotics Software Systems Using CLEOPATRA
Integrated Computer-Aided Engineering
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 48.25 |
The conventional approach to software development is being challenged by new ideas, many of which can be organized into an alternative decision structure called the “operational” approach. The operational approach is explained and compared to the conventional one.