Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Graphics (TOG)
Bibliography of software tools for user interface development
ACM SIGGRAPH Computer Graphics
The PIOCO model for information systems design
MIS Quarterly
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
MMAIM: a software development method for Ada
ACM SIGAda Ada Letters
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
(ISEF): an integrated industrial-strength software engineering framework
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Completeness, robustness, and safety in real-time software requirements specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Document classification for software quality systems
ACM SIGSOFT Software Engineering Notes
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Integration of domain analysis and analogical approach for software reuse
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Management of interface design in humanoid
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Challenges of HCI design and implementation
interactions
Challenging Universal Truths of Requirements Engineering
IEEE Software
Systems analysis: a systemic analysis of a conceptual model
Communications of the ACM
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the inevitable intertwining of analysis and design: developing systems for complex cooperations
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
SPADES—a specification and design system and its graphical interface
ICSE '85 Proceedings of the 8th international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Web-based simulation: revolution or evolution?
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The operational versus the conventional approach to software development
Communications of the ACM
A scenario-driven approach to traceability
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Secure systems development based on the common criteria: the PalME project
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Requirements and Specification Exemplars
Automated Software Engineering
Secure systems development based on the common criteria: the PalME project
ACM SIGSOFT Software Engineering Notes
User-Interface Tools: Introduction and Survey
IEEE Software
Requirements Engineering: The Emerging Wisdom
IEEE Software
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Towards a comprehensive user interface management system
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Prototyping: a nomenclature problem
ACM SIGSOFT Software Engineering Notes
Rapid prototyping of information management systems
Proceedings of the workshop on Rapid prototyping
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
Towards a Methodology for Developing Agent-Based Simulations: The MASim Methodology
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Developer requirements in the PF approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Designing the design process: exploiting opportunistic thoughts
Human-Computer Interaction
Object-oriented system development in a banking project: methodology, experience, and conclusions
Human-Computer Interaction
Supporting indirect collaborative design with integrated knowledge-based design environments
Human-Computer Interaction
Beyond object-oriented technology: where current approaches fall short
Human-Computer Interaction
Representations and user-developer interaction in cooperative analysis and design
Human-Computer Interaction
Controversy Corner: On the similarity between requirements and architecture
Journal of Systems and Software
Examples in legal reasoning: legal hypotheticals
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
XPLAIN: a system for creating and explaining expert consulting programs
Artificial Intelligence
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
A cooperative problem solving system for user interface design
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Making design objects relevant to the task at hand
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The brave new world of design requirements: four key principles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Property transformation under specification change
Frontiers of Computer Science in China
Requirements engineering in complex domains
Graph transformations and model-driven engineering
The brave new world of design requirements
Information Systems
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 48.25 |
Contrary to recent claims that specification should be completed before implementation begins, this paper presents two arguments that the two processes must be intertwined. First, limitations of available implementation technology may force a specification change. For example, deciding to implement a stack as an array (rather than as a linked list) may impose a fixed limit on the depth of the stack. Second, implementation choices may suggest augmentations to the original specification. For example, deciding to use an existing pattern-match routine to implement the search command in an editor may lead to incorporating some of the routine's features into the specification, such as the ability to include wild cards in the search key. This paper elaborates these points and illustrates how they arise in the specification of a controller for a package router.