Searching for "Specifying Behavior in C ." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Specifying behavior in C++
- …Specifying Behavior in C++ Xiangtian Dai and Gregory Hager John Peterson Department of Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
- … of the behavioral interface specification language Larch/C++. The features of Larch/C++ used to specify the behavior…
- Cited by 24 (8 self) – Add To MetaCart
-
Addressing unbounded parallelism in verification of software components
- … of calls which can be performed on R in parallel. It depends on the behavior of C (specified by Prot…
- Cited by 3 (0 self) – Add To MetaCart
-
Modeling Unbounded Parallelism Using Behavior Protocols
- … number of calls which can be performed on R in parallel. It depends on the behavior of C (specified…
- Cited by 2 (2 self) – Add To MetaCart
-
An Agent-Oriented View of Artificial Intelligence Teaching Using a Modern C++ Programming
- …++. It is intended to formally specify the behavior of C++ program modules. Larch/C++ specifies how to use C…
- Add To MetaCart
-
LSL traits for using Z with Larch
- …-style BISL that is tailored to C++. It is used to specify behaviors for C++ modules. Such specifications…
- Add To MetaCart
-
Formal Semantics and Soundness of an Algorithm for Translating Model-based Specifications to Constraint Programs
- … calculus assertions to specify the behavior of C++ [Str91] functions, a translation algorithm for SPECS-C…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract interface behavior of object-oriented languages with monitors
- … the behavior of C under certain assumptions ΞE about the environment, where ΞE acts as an abstract…
- Cited by 3 (3 self) – Add To MetaCart
-
Symbolic Scheduling Techniques
- …-flow dependencies have to be satisfied to ensure a correct execution of the specified behavior. if ( C ) A; else B…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 9.
