Formal Object-Oriented Development
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9783540199786, 9781447130734

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrent and Real-time Behaviour

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_7 ◽

1995 ◽

pp. 219-256

Author(s):

Kevin Lano

Keyword(s):

Real Time ◽

Download Full-text

Proof Methods and Techniques

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_6 ◽

1995 ◽

pp. 176-218

Author(s):

Kevin Lano

Keyword(s):

Methods And Techniques ◽

Download Full-text

From Analysis to Formal Specification

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_3 ◽

1995 ◽

pp. 44-83

Author(s):

Kevin Lano

Keyword(s):

Formal Specification

Download Full-text

Design and Refinement

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_5 ◽

1995 ◽

pp. 137-175

Author(s):

Kevin Lano

Download Full-text

Case Studies

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_9 ◽

1995 ◽

pp. 286-313 ◽

Author(s):

Kevin Lano

Keyword(s):

Download Full-text

Implementation and Code Generation

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_8 ◽

1995 ◽

pp. 257-285

Author(s):

Kevin Lano

Keyword(s):

Code Generation

Download Full-text

The Software Development Process

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_2 ◽

1995 ◽

pp. 15-43

Author(s):

Kevin Lano

Keyword(s):

Software Development ◽

Development Process ◽

Software Development Process

Download Full-text

Introduction

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_1 ◽

1995 ◽

pp. 1-14

Author(s):

Kevin Lano

Download Full-text

Specification Notations and Techniques

Formal Object-Oriented Development ◽

10.1007/978-1-4471-3073-4_4 ◽

1995 ◽

pp. 84-136

Author(s):

Kevin Lano

Download Full-text