Cognitive processes in program comprehension
Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Designing documentation to compensate for delocalized plans
Communications of the ACM
A field study of the software design process for large systems
Communications of the ACM
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Software safety in embedded computer systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Task-analytic approach to the automated design of graphic presentations
ACM Transactions on Graphics (TOG)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool
IEEE Transactions on Software Engineering - Special issue on software architecture
Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering
Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering
Mental models and the control of action in complex environments
Selected papers of the 6th Interdisciplinary Workshop on Informatics and Psychology: Mental Models and Human-Computer Interaction 1
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Forensic Software Engineering and the Need for New Approaches to Accident Investigation
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Dynamic and Static Views of Software Evolution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Small-Scale Classification Schemes: A Field Study of Requirements Engineering
Computer Supported Cooperative Work
A metrics system for quantifying operational coupling in embedded computer control systems
Proceedings of the 4th ACM international conference on Embedded software
Making embedded software reuse practical and safe
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Measuring the conceptual fitness of an application in a computing ecosystem
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
A design for evidence - based soft research
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
An automated approach to specification animation for validation
Journal of Systems and Software
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
No ifs, ands, or buts: uncovering the simplicity of conditionals
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Towards evidence-based architectural design for safety-critical software applications
Architecting dependable systems IV
Journal of Biomedical Informatics
An automated hint generation approach for supporting the evolution of requirements specifications
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Updating requirements from tests during maintenance and evolution
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Effects-driven IT development: an instrument for supporting sustained participatory design
Proceedings of the 11th Biennial Participatory Design Conference
Requirements engineering in complex domains
Graph transformations and model-driven engineering
Information foraging as a foundation for code navigation (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Defining and decomposing safety policy for systems of systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Evolutionary safety analysis: motivations from the air traffic management domain
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Handling malicious code on control systems
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
This paper examines and proposes an approach to writing software specifications, based on research in systems theory, cognitive psychology, and human-machine interaction. The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution. A type of specification, called intent specifications, is constructed upon this underlying foundation.