The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9780792397786

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Invariants in the Trenches

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_6 ◽

2007 ◽

pp. 77-100 ◽

Cited By ~ 6

Author(s):

Haim Kilov ◽

Helen Mogill ◽

Ian Simmonds

Information Refraction

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_3 ◽

2007 ◽

pp. 31-40

Author(s):

William Harvey ◽

Karen Bilotta ◽

Cynthia Grese

A Formal Basis for Specifying Object Behaviour

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_2 ◽

2007 ◽

pp. 17-30 ◽

Cited By ~ 2

Author(s):

Antony Bryant ◽

Andy Evans

Keyword(s):

Formal Basis

Enterprise Modeling with USE Cases

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_17 ◽

2007 ◽

pp. 287-296 ◽

Cited By ~ 1

Author(s):

Jean Stanford

Keyword(s):

Enterprise Modeling ◽

Use Cases

Structural Active-Object Systems Fundamentals

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_9 ◽

2007 ◽

pp. 143-162 ◽

Cited By ~ 1

Author(s):

Toshimi Minoura

Keyword(s):

Active Object

Exactness and Clarity in a Component-Based Specification Language

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_1 ◽

2007 ◽

pp. 1-15 ◽

Cited By ~ 1

Author(s):

Doug Bryan

Keyword(s):

Specification Language

A Pragmatic Approach to Formal Specification

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_4 ◽

2007 ◽

pp. 41-62 ◽

Cited By ~ 1

Author(s):

Maritta Heisel

Keyword(s):

Formal Specification ◽

Pragmatic Approach

Formal Object-Oriented Method — Foom

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_18 ◽

2007 ◽

pp. 297-310 ◽

Cited By ~ 1

Author(s):

Paul Swatman

Keyword(s):

Object Oriented ◽

Object Oriented Method

An Overview of Larch/C++: Behavioral Specifications for C++ Modules

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_8 ◽

2007 ◽

pp. 121-142 ◽

Cited By ~ 19

Author(s):

Gary T. Leavens

Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications ◽

10.1007/978-0-585-27524-6_7 ◽

2007 ◽

pp. 101-120 ◽

Cited By ~ 19

Author(s):

Reino Kurki-Suonio

Keyword(s):

Object Oriented ◽

Collective Behaviors

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral SpecificationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Invariants in the Trenches

Information Refraction

A Formal Basis for Specifying Object Behaviour

Enterprise Modeling with USE Cases

Structural Active-Object Systems Fundamentals

Exactness and Clarity in a Component-Based Specification Language

A Pragmatic Approach to Formal Specification

Formal Object-Oriented Method — Foom

An Overview of Larch/C++: Behavioral Specifications for C++ Modules

Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors

The Springer International Series in Engineering and Computer Science - Object-Oriented Behavioral Specifications
Latest Publications