default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBehavioral Specifications of Businesses and Systems 1999
- Haim Kilov, Bernhard Rumpe, Ian Simmonds:
Behavioral Specifications of Businesses and Systems. The Kluwer International Series in Engineering and Computer Science 523, Springer 1999, ISBN 978-1-4613-7383-4 - Kenneth Baclawski, Scott A. DeLoach, Mieczyslaw M. Kokar, Jeffrey E. Smith:
Object-Oriented Transformation. 1-14 - Bernard Cohen:
Being served: The Purposes, Strengths and Limitations of Formal Service Modelling. 15-25 - Zinovy Diskin, Boris Kadish, Frank Piessens:
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. 27-44 - Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Meta-Modelling Semantics of UML. 45-60 - Marc Frappier, Richard St-Denis
:
Combining JSD and Cleanroom for Object-Oriented Scenario Specification. 61-74 - Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu:
What is Behind UML-RT? 75-90 - Jack Hassall, John Eaton:
Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems. 91-103 - Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu:
Component-Based Algebraic Specification. 105-121 - Stuart Kent, Stephen Gaito, Niall Ross:
A Meta-Model Semantics for Structural Constraints In UML. 123-139 - Haim Kilov, Allan Ash:
On the Structure of Convincing Specifications. 141-160 - Kevin Lano, Juan Bicarregui:
Formalising the UML in Structured Temporal Theories. 161-174 - Gary T. Leavens, Albert L. Baker, Clyde Ruby:
JML: A Notation for Detailed Design. 175-188 - James J. Odell:
Agents: Between Order and Chaos. 189-193 - Andy Schürr, Andreas J. Winter:
UML, The Future Standard Software Architecture Description Language? 195-207 - Mark A. Shafer:
Using Information Modeling to Define Business Requirements. 209-217 - Ian Simmonds, David Ing:
A Layered Context Perspective on the Design of Enterprises and Information Systems. 219-236 - Anthony J. H. Simons, Ian Graham:
30 Things that Go Wrong in Object Modelling with UML 1.3. 237-257 - Harold Solbrig:
Formalizing Association Semantics In Terminologies. 259-270 - Angelo E. Thalassinidis, Ira Sack:
On the Specification of the Business and Economic Foundations of Electronic Commerce. 271-286 - Roel J. Wieringa:
Embedding Object-Oriented Design in System Engineering. 287-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
