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.
|
iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.
If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.
If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.