Results 1 - 10
of
25,221
Larch: Languages and tools for formal specification
- TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
, 1993
"... Building software often seems harder than it ought to be. It takes longerthan expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easyto maintain. It does not have to be that way. This book is about programmin ..."
Abstract
-
Cited by 333 (9 self)
- Add to MetaCart
programming, and the role that formal specificationscan play in making programming easier and programs better. The intended audience is practicing programmers and students in undergraduate or basicgraduate courses in software engineering or formal methods. To make the book accessible to such an audience, we
Formal Specification
"... data are hold in bus variables of abstract type DATA. Whereas the data we refer to in the model are of concrete (enumerated) type, e.g. the variables for the computational mode values R1 data, R2 data, and R3 data. The specification of the used types can be found in section 2.1.2. 11 BUS PORT BUS P ..."
Abstract
- Add to MetaCart
data are hold in bus variables of abstract type DATA. Whereas the data we refer to in the model are of concrete (enumerated) type, e.g. the variables for the computational mode values R1 data, R2 data, and R3 data. The specification of the used types can be found in section 2.1.2. 11 BUS PORT BUS
Formal Specification of
"... entities in the model are subjects and objects. Objects model resources to be controlled. Subjects are active entities that seek access, such as read or write, to objects. ..."
Abstract
- Add to MetaCart
entities in the model are subjects and objects. Objects model resources to be controlled. Subjects are active entities that seek access, such as read or write, to objects.
FORMAL SPECIFICATION INTRODUCTION TO FORMAL SPECIFICATION
"... A specification describes some essential aspect of the software’s behavior, such as functionality or performance, without divulging or prescribing implementation details. ..."
Abstract
- Add to MetaCart
A specification describes some essential aspect of the software’s behavior, such as functionality or performance, without divulging or prescribing implementation details.
Formal Specification: a Roadmap
, 2000
"... 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 pa ..."
Abstract
-
Cited by 50 (0 self)
- Add to MetaCart
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
A Formal Specification of dMARS
, 1998
"... The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like syst ..."
Abstract
-
Cited by 183 (27 self)
- Add to MetaCart
an abstract formal model of an idealised dMARS system (the most recent implementation of the PRS...
Visualization of Formal Specifications
- IN 6TH AISA PACIFIC SOFTWARE ENGINEERING CONFERENCE
, 1999
"... Formal specification techniques provide precise and analyzable software specifications. However, formal notations provided by most formal specification techniques are not easy to use and understand for most people. Our approach counters this difficulty by visualizing formal specifications. In this p ..."
Abstract
-
Cited by 26 (0 self)
- Add to MetaCart
Formal specification techniques provide precise and analyzable software specifications. However, formal notations provided by most formal specification techniques are not easy to use and understand for most people. Our approach counters this difficulty by visualizing formal specifications
Formal Specifications and Algebraic Specifications
"... In this paper I will adopt a rather restrictive definition of “formal specifications”. I will say that a specification framework is “formal ” if it contains: • a rigorous syntax entirely defining what a specifier is allowed to write (to obtain a “speci-fication”) ..."
Abstract
- Add to MetaCart
In this paper I will adopt a rather restrictive definition of “formal specifications”. I will say that a specification framework is “formal ” if it contains: • a rigorous syntax entirely defining what a specifier is allowed to write (to obtain a “speci-fication”)
Another Formal Specification Language
, 2000
"... There are a number of reasons why software construction is an inherently hard process to master. Specification plays a central role here; therefore, better means of specification improve productivity. One way of achieving this may be the use of formal specification languages, which have the advantag ..."
Abstract
- Add to MetaCart
There are a number of reasons why software construction is an inherently hard process to master. Specification plays a central role here; therefore, better means of specification improve productivity. One way of achieving this may be the use of formal specification languages, which have
Formal Specification in Metamorphic Programming
- VDM '91: Formal Software Development Methods --- Proc. of the 4th International Symposium of VDM Europe
, 1991
"... Formal specification methods have not been embraced wholeheartedly by the software development industry. We believe that a large part of industry's reluctance is due to semantic gaps that are encountered when attempting to integrate formal specification with other stages of the software develop ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
Formal specification methods have not been embraced wholeheartedly by the software development industry. We believe that a large part of industry's reluctance is due to semantic gaps that are encountered when attempting to integrate formal specification with other stages of the software
Results 1 - 10
of
25,221