Description: 1 Object-oriented transformation.- 2 Being served: The purposes, strengths and limitations of formal service modelling.- 3 What vs. how of visual modeling: The arrow-diagram logic of visual modeling.- 4 Meta-modelling semantics of UML.- 5 Combining JSD and Cleanroom for object-oriented scenario specification.- 6 What is behind UML-RT.- 7 Applying ISO RM-ODP in the specification of CORBA interfaces and semantics to general ledger systems.- 8 Component-based algebraic specifications.- 9 A meta-model semantics for structural constraints in UML.- 10 On the structure of convincing specifications.- 11 Formalising the UML in structured temporal theories.- 12 JML: A notation for detailed design.- 13 Agents: Between order and chaos.- 14 UML, the future standard software architecture description language?.- 15 Using information modeling to define business requirements.- 16 A layered context perspective on enterprises and information systems.- 17 30 Things that go wrong in object-oriented modelling with UML 1.3.- 18 Formalizing association semantics in terminologies.- 19 On the specification of the business and economic foundations of electronic commerce.- 20 Embedding object-oriented design in system engineering.

Please Wait