Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Formal Specification

Chapter 153
Encyclopedia of Networked and Virtual Organizations
A software representation with well-defined syntax and semantics that is usually used to express software requirements or detailed software design.
Published in Chapter:
Pair Modeling
Pankaj Kamthan (Concordia University, Canada)
Copyright: © 2008 |Pages: 8
DOI: 10.4018/978-1-59904-885-7.ch153
Abstract
We model software for a variety of reasons: to assess the viability of or plan software systems to be built, to optimize use of (minimize, or ideally, avoid waste of) resources in response to inevitable changes in business, social, or technological environments, or simply to understand existing software systems. Indeed, as indicated by the model-driven approach to software development (Beydeda, Book, & Gruhn, 2005), models are becoming first-class members of organizations and software process environments that embrace them. The examples of collaboration in implementation of software are well-known (Nosek, 1998; Williams & Kessler, 2003). As models get large and complex, the need for creating them collaboratively in a systematic manner arises, and we propose pair modeling as an approach.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Chapter 90
Towards Formulation of Principles for Engineering Web Applications
A software representation with well-defined syntax and semantics that is usually used to express software requirements or detailed software design.
Published in Chapter: Towards Formulation of Principles for Engineering Web Applications; From: Encyclopedia of Internet Technologies and Applications
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 20
Towards Quality Web Information Systems Through Precise Model-Driven Development
Description of a model in a comprehensive and consistent way; a model can be given, for example, for an application domain, for a requirement or a set of requirements, for a software architecture, or for a program organization. It is expressed in a formal language. A formal language specifies at meta-level a syntax, a semantics, and a proof system.
Published in Chapter: Towards Quality Web Information Systems Through Precise Model-Driven Development; From: Handbook of Research on Web Information Systems Quality
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 31
Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification
A mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it.
Published in Chapter: Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification; From: Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 161
Deriving Formal Specifications from Natural Language Requirements
It is the expression, in some formal language and at a some level of abstraction, of a collection of properties some system should satisfy. A specification is formal if it is expressed in a language made of three components: the syntax (rules for determining the grammatical well-formedness of sentences), the semantics (rules for interpreting sentences in a precise, meaningful way in the domain considered), and the proof theory (rules for inferring useful information from the specification.
Published in Chapter: Deriving Formal Specifications from Natural Language Requirements; From: Encyclopedia of Information Science and Technology, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 98
Communicability of Natural Language in Software Representations
A software representation with well-defined syntax and semantics that is usually used to express software requirements or detailed software design.
Published in Chapter: Communicability of Natural Language in Software Representations; From: Encyclopedia of Information Science and Technology, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 26
Formal Approach to Ensuring Interoperability of Mobile Agents
Is a specification written in a formal language with a precise syntax and a well-defined semantics based on well-established mathematical concepts. This mathematical description of software or hardware describes what the system should do without necessarily providing details on how the system should do it.
Published in Chapter: Formal Approach to Ensuring Interoperability of Mobile Agents; From: Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 54
A Perspective on Software Engineering Education with Open Source Software
A software representation with well-defined syntax and semantics that is usually used to express software requirements or detailed software design.
Published in Chapter: A Perspective on Software Engineering Education with Open Source Software; From: Handbook of Research on Open Source Software: Technological, Economic, and Social Perspectives
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR