21
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- WS-Specification: Specifying Web Services Using UDDI Improvements -- Modeling Web Services...

22
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to Collaborative Value Quantification -- Change and Evolution -- Specifying Changes Only – A Case Study on Delta...

23
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Implementation of an Open Source Toolset for CCM Components and Systems Testing -- A Multi-service...

24
Published 1990
Springer London
Table of Contents: ...Opening address: The State of Use of Formal Methods -- Type Inference in Z -- Minimisation...

25
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... in coalgebraic specification -- Specifying with defaults: Compositional semantics -- An inductive view of graph...

26
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... software systems -- Using Z as a specification calculus for object-oriented systems -- Specifying open...

27
Published 2014
Springer International Publishing
Table of Contents: ... Information Security Risks -- ALPS: An Action Language for Policy Specification and Automated Safety Analysis...

28
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph...

29
by Okungbowa, Andrew
Published 2015
Apress, Distributed to the book trade worldwide by Springer Science and Business Media
Table of Contents: ...Assign Variants to Company Code Specify Open and Closing Periods; Summary; Chapter 2: Defining...

30
by Reichert, Manfred, Weber, Barbara
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... -- Flexibility Issues in Process-Aware Information Systems -- Part II Flexibility Support for Pre-Specified...

31
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing -- Repairing Service...

32
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Institutions -- Towards the Verifying Compiler -- Object-Oriented Specification and Open Distributed Systems...

33
Published 2003
Springer US
Table of Contents: ... Specifications -- 6. An Open Toolkit for Reverse Engineering Data Visualisation and Exploration -- 7. A Pattern...

34
by Conlan, Chris
Published 2017
Apress, Distributed to the Book trade worldwide by Springer
Table of Contents: ...Bpy.types, bpy.utils, and bpy.propsbpy.path; Selection, Activation, and Specification; Selecting...

35
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... for Steiner's problem in graphs -- Specification of error distances for graphs by precedence graph grammars...

36
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use...

37
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- From Implicit Specifications to Explicit Designs in Reactive System Development -- Basic-REAL...

38
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... a CORBA trader -- Global trader cooperation in open service markets -- Analysing requirements using...

39
by Dowswell, Kurt
Published 2024
John Wiley & Sons, Incorporated
Table of Contents: ... -- Specifying a Specific Technology -- Keeping Prompts Short -- Gaining Context in Chat -- Open Tabs Context...

40
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Behavior Generation -- STEP: a Scripting Language for Embodied Agents -- gUI: Specifying Complete User...