• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Formal Specification: a Roadmap (2000)

Cached

  • Download as a PDF

Download Links

  • [www.cs.ucl.ac.uk]
  • [www.cs.nott.ac.uk]
  • [www0.cs.ucl.ac.uk]
  • [lml.ls.fi.upm.es]
  • [www.cs.nott.ac.uk]
  • [www2.ufpa.br]
  • [www.ufpa.br]
  • [ufpa.br]
  • [www.cs.nott.ac.uk]
  • [ftp.info.ucl.ac.be]
  • [www.info.ucl.ac.be]
  • [www.cs.wm.edu]
  • [research.cs.queensu.ca]
  • [biblio.info.ucl.ac.be]
  • [research.cs.queensu.ca]
  • [santos.cis.ksu.edu]
  • [research.cs.queensu.ca]
  • [www.cs.ucl.ac.uk]
  • [www0.cs.ucl.ac.uk]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Axel Van Lamsweerde
Citations:50 - 0 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Lamsweerde00formalspecification:,
    author = {Axel Van Lamsweerde},
    title = {Formal Specification: a Roadmap},
    year = {2000}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence, role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and discuss their evaluation criteria. It then provides a brief assessment of the current strengths and weaknesses of today's formal specification technology. This provides a basis for formulating a number of requirements for formal specification to become a core software engineering activity in the future.

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University