Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition

Source URL: folk.uio.no

UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF

Source URL: www.itr.unisa.edu.au

• Economy
• Software engineering
• Finance
• Financial markets
• Concurrency
• Diagrams
• Models of computation
• Petri nets
• RM-ODP
• Option
• Iterator
• Trader

Microsoft Word - IBSDM&BI.doc

Source URL: foibg.com

• Software engineering
• Computing
• Unified Modeling Language
• ISO standards
• Systems engineering
• Scientific modeling
• Model-driven architecture
• Software requirements
• Metamodeling
• RM-ODP
• Object Process Methodology
• Conceptual model

Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):, MarchRelating Architecture and Specification Kenneth J. Turner Department of

Source URL: www.cs.stir.ac.uk

• Data
• ISO standards
• Concurrency
• Concurrency control
• Synchronization
• Language Of Temporal Ordering Specification
• Communications protocol
• RM-ODP
• Specification and Description Language
• Computing
• Process calculi
• Information

Committee: (T3) - Open Distributed Processing (ODP) National Designation Title

Source URL: www.incits.org

• Computing
• Abstract Syntax Notation One
• Computer file formats
• RM-ODP
• ISO/IEC JTC1
• International Organization for Standardization
• Open Systems Interconnection
• Encoding Control Notation
• Basic Encoding Rules
• Evaluation
• Reference
• ISO standards

PDF Document

Source URL: www.openehr.org

• Unified Modeling Language
• ISO standards
• OpenEHR
• Archetype
• Class diagram
• Object Constraint Language
• Information model
• RM-ODP
• Class
• Software engineering
• Object-oriented programming
• Computing

Analysis of Common Requirements for Environmental Science Research Infrastructures School of Computer Science and Informatics, Cardiff University Queen’s Buildings, 5 The Parade, Roath, Cardiff, UK E-mail:

Source URL: pos.sissa.it

• Data management
• Distributed computing architecture
• RM-ODP
• Data infrastructure
• Data center
• Data quality
• Geographic information system
• Mass spectrometry software
• Data analysis
• Science
• Concurrent computing
• Computing

PDF Document

Source URL: 34slpa7u66f159hfp1fhl9aur1.wpengine.netdna-cdn.com

• Common Object Request Broker Architecture
• Component-based software engineering
• Unified Modeling Language
• Object Management Group
• Object database
• Object-oriented design
• RM-ODP
• ECO
• Object-oriented analysis and design
• Software engineering
• Object-oriented programming
• Computing

Product Family Brochure Key Components • RM Bridge • RM Bridge Advanced • RM Bridge Advanced Non-Linear

Source URL: ftp2.bentley.com

• Engineering
• ProjectWise
• Computing
• MicroStation
• Suspension bridge
• Structural engineering
• RM-ODP
• Software
• 3D graphics software
• Bentley Systems

>>>>> Copyright 2002 by The MITRE Corporation. Permission is granted to copy for the PLoP 2002 conference. All other rights reserved <<<<< Information Assurance for Enterprise Engineering Jody Heaney, Duane Hybertson, An

Source URL: www.hillside.net

• Zachman Framework
• John Zachman
• Enterprise architecture framework
• Enterprise modelling
• Software design pattern
• RM-ODP
• Enterprise engineering
• Enterprise Architect
• Enterprise architecture planning
• Information technology management
• Software architecture
• Enterprise architecture