|
Web
Education
Viewing 1-10 of 10 total results
Verifying ODP Computational Behavioral Specification by ...
Verifying ODP Computational Behavioral Specification by using B-Method . ... We treat in this paper the need of formal notation andspecification for behavior al concepts in the Computational language. Using theUnified Modeling Language (UML)/OCL (Object Constraints Language) wedefine a formal semantics for a fragment of ODP behavior concepts ......
CiteSeerX — and Applications
We treat in this paper the need of formal notation and specification for behavior al concepts in the Computational language. Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) we define a formal semantics for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in the Computational language....
labmia | Pr. Said EL HAJJI
J.Laassiri, S.El Hajji, M.Bouhdadi: “Verifying ODP Computational Behavioral Specification by using B-Method”, International Journal of Computer Science and Security (IJCSS), Volume (4): Issue (1), pp 31 – 39, March 2010.
CORE
We treat in this paper the need of formal notation and specification for behavior al concepts in the Computational language. Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) we define a formal semantics for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in the Computational language....
Compositional Specification of ODP Binding Objects ...
Abstract. A building blocks approach for the formal specification of binding objects in the ODP computational Model is presented. The formal notation that is used is based on LOTOS extended with two features — real time and gate passing.
 Introducing Formal Methods - MIT
Specifications nBuild an abstract model of required software behaviour using mathematically defined types (sets, relations) nDefine operations by showing effects of that operation on the model nSpecification includes: » Model Type » Invariant properties of model » For each operation – Name, parameters, return values » Pre- and Post ...
View model - Wikipedia
A view model or viewpoints framework in systems engineering, software engineering, and enterprise engineering is a framework which defines a coherent set of views to be used in the construction of a system architecture, software architecture, or enterprise architecture.A view is a representation of a whole system from the perspective of a related set of concerns.
TLA in Practice and Theory<br/>Part 1: The Principles of TLA
Introduction. TLA + is a formal specification and verification language that helps engineers design, specify, reason about and verify complex, real-life algorithms and software or hardware systems. TLA + has been successfully used by Intel, Compaq and Microsoft in the design of hardware systems, and has started seeing recent use in large software systems, at Microsoft, Oracle, and most ......
Validation, Verification, and Testing of Computer Software ...
Validation, Verification, and Testing of Computer Software W. RICHARDS ADRION Dw~smn of Mathematical and Computer Scwnces, Nattonal Scwnce Foundation, Washington, D.C. 20550 MARTHA A. BRANSTAD Institute for Computer Sctence and Technology, Natmnal Bureau of Standards, Washington, D.C. 20234 AND JOHN C. CHERNIAVSKY Dwtsmn of Mathematical and Computer Sciences, Natmnal Scwnce Foundation ...
Why Don't People Use Formal Methods? • Hillel Wayne
Most people use “specification language”, but I want to make clear the distinction between code specifications and design specifications. [return] Model checkers are also used in code verification, such as JMBC , but model checking makes up a much bigger percentage of design verifications than code verifications.
|
