On Formalism in Specifications

Authors:
B. Meyer
Affiliations:
University of California
Venue:
IEEE Software
Year:
1985

Citing 0
Cited 20

Software reuse: a context for introducing software engineering principles in a traditional computer science second course

TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Building Formal Requirements Models for Reliable Software

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Attempto Controlled English - Not Just Another Logic Specification Language

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Toward a Modeling Tool for Designing Control Mechanisms for Network Organizations

International Journal of Electronic Commerce
Talking tests: an empirical assessment of the role of fit acceptance tests in clarifying requirements

Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
Toward a text classification system for the quality assessment of software requirements written in natural language

Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks

Proceedings of the 30th international conference on Software engineering
The benefits and challenges of executable acceptance testing

Proceedings of the 2008 international workshop on Scrutinizing agile practices or shoot-out at the agile corral
Reuse: From Components to Services

ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Designing the design process: exploiting opportunistic thoughts

Human-Computer Interaction
Using acceptance tests as a support for clarifying requirements: A series of experiments

Information and Software Technology
Asking the right questions to elicit product requirements

International Journal of Computer Integrated Manufacturing - THE CHALLENGES OF MANUFACTURING IN THE GLOBALLY INTEGRATED ECONOMY. GUEST EDITOR: ROBIN G. QIU
Ranking and Selecting Services

ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A property based specification formalism classification

Journal of Systems and Software
A case for exploit-robust and attack-aware protocol RFCs

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Requirements engineering processes improvement: a systematic view

SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Formal software verification at model and at source code levels

MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Timisto: a technique to extract usage sequences from storyboards

Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Software architecture review by association

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.