Carnegie Mellon University
Browse

File(s) stored somewhere else

http://www.cs.cmu.edu/~Compose/what_cw_specify_85.pdf

Please note: Linked content is NOT stored on Carnegie Mellon University and we can't guarantee its availability, quality, security or accept any liability.

"What Can We Specify? Questions in the Domains of Software Specifications

journal contribution
posted on 1985-01-01, 00:00 authored by Mary Shaw

Formal specifications customarily deal exclusively with the domain of functional properties of software. However, other domians are of interest to software desginers and developers. Two particular areas of concern for practical software development are not yet well-served by formal specifications. This note raises issues about how those areas might be better served.

History

Date

1985-01-01

Usage metrics

    Categories

    Keywords

    Software Research

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC