rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Tool Support for System Specification, Development and Verification
  name:
    name part: Berghammer, Rudolf.
    role:
      role term: creator
  name:
    name part: Lakhnech, Y. (Yassine)
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: au
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (ix, 232 pages 57 illustrations)
  abstract: The correct development of large software systems demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate and precise mathematical formalization. Prototyping can be used as a means for checking the functional behaviour at this early stage of development. The specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an efficient implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. Of course, a prerequisite for applying this approach to large systems is to have suitable tool support. This book presents tools that aim at the formal and computer-aided development of software. Furthermore, it discusses the theories and methods underlying the tools, applications, and limits. Finally, it describes many case studies. The presented tools and methods vary from academic to industrial, from fully automatic to interactive, and from animation and prototyping to formula manipulation, theorem proving, i.e., formal verification. Thus, the reader gets an overview of the wide-ranging applicability of formal methods and the computer-aided software development.
  note: edited by Rudolf Berghammer, Yassine Lakhnech.
  note: Electronic resource.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Computer simulation
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Computer science
  subject:
    topic: Computer simulation
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Advances in computing science
  identifier: 9783709163559 (electronic bk.)
  identifier: 3709163552 (electronic bk.)
  identifier: 9783211832820
  identifier: 3211832823
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260422220042.2
    record identifier: in00003568427
    language of cataloging:
      language term: eng