search for books and compare prices
Tables of Contents for Behavioral Specifications of Business and Systems
Chapter/Section Title
Page #
Page Count
Preface
vii
Object-oriented transformation
1
14
Kenneth Baclawski
Scott DeLoach
Mieczyslaw Kokar
Jeffrey Smith
Being served: The purposes, strengths and limitations of formal service modelling
15
12
Bernard Cohen
What vs. how of visual modeling: The arrow-diagram logic of visual modeling
27
18
Zinovy Diskin
Boris Kadish
Frank Piessens
Meta-modeling semantics of UML
45
16
Andy Evans
Robert France
Kevin Lano
Bernhard Rumpe
Combining JSD and Cleanroom for object-oriented scenario specification
61
14
Marc Frappier
Richard St-Denis
What is behind UML-RT
75
16
Radu Grosu
Manfred Broy
Bran Selic
Gheorghe Stefanescu
Applying ISO RM-ODP in the specification of CORBA® interfaces and semantics to general ledger systems
91
14
Jack Hassall
John Eaton
Component-based algebraic specifications
105
18
Shusaku Iida
Kokichi Futatsugi
Razvan Diaconescu
A meta-model semantics for structural constraints in UML
123
18
Stuart Kent
Stephen Gaito
Niall Ross
On the structure of convincing specifications
141
20
Haim Kilov
Allan Ash
Formalising the UML in structured temporal theories
161
14
Kevin Lano
Juan Bicarregui
JML: A notation for detailed design
175
14
Gary Leavens
Albert Baker
Clyde Ruby
Agents: Between order and chaos
189
6
James Odell
UML, the future standard software architecture description language?
195
14
Andy Schurr
Andreas Winter
Using information modeling to define business requirements
209
10
Mark Shafer
A layered context perspective on enterprises and information systems
219
18
Ian Simmonds
David Ing
30 Things that go wrong in object-oriented modelling with UML 1.3
237
22
Anthony Simons
Ian Graham
Formalizing association semantics in terminologies
259
12
Harold Solbrig
On the specification of the business and economic foundations of electronic commerce
271
16
Angelo Thalassinidis
Ira Sack
Embedding object-oriented design in system engineering
287
24
Roel Wieringa
Index
311