Formal Methods and Software Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540151999, 9783540393078

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalized software development in an industrial environment

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_25 ◽

1985 ◽

pp. 385-394

Author(s):

Otthein Herzog

Keyword(s):

Software Development ◽

Industrial Environment

Download Full-text

A formal specification of line representations on graphics devices

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_9 ◽

1985 ◽

pp. 129-147 ◽

Cited By ~ 4

Author(s):

Lynn S. Marshall

Keyword(s):

Formal Specification

Download Full-text

Experiences with object oriented programming

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_29 ◽

1985 ◽

pp. 435-452 ◽

Cited By ~ 1

Author(s):

Karl-Heinz Alws ◽

Ingrid Glasner-Schapeler

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Modelling concurrent modules

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_20 ◽

1985 ◽

pp. 309-324 ◽

Cited By ~ 1

Author(s):

Rainer Isle ◽

Klaus-Peter Löhr

Download Full-text

Algebraic specification of a communication scheduler

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_23 ◽

1985 ◽

pp. 356-370

Author(s):

Mathai Joseph ◽

Abha Moitra

Keyword(s):

Algebraic Specification

Download Full-text

ASSPEGIQUE: An integrated environment for algebraic specifications

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_16 ◽

1985 ◽

pp. 246-260 ◽

Cited By ~ 13

Author(s):

Michel Bidoit ◽

Christine Choppy

Keyword(s):

Algebraic Specifications ◽

Integrated Environment

Download Full-text

Program development and documentation by informal transformations and derivations

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_15 ◽

1985 ◽

pp. 231-245

Author(s):

Giovanna Petrone ◽

Luigi Petrone

Keyword(s):

Program Development

Download Full-text

Algebraic specification of synchronisation and errors: A telephonic example

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_19 ◽

1985 ◽

pp. 294-308 ◽

Cited By ~ 7

Author(s):

Brigitte Biebow ◽

Jacques Hagelstein

Keyword(s):

Algebraic Specification

Download Full-text

Software construction using typed fragments

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_11 ◽

1985 ◽

pp. 163-178 ◽

Cited By ~ 3

Author(s):

Nazim H. Madhavji ◽

Nikos Leoutsarakos ◽

Dimitri Vouliouris

Keyword(s):

Software Construction

Download Full-text

Application of PROLOG to test sets generation from algebraic specifications

Formal Methods and Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15199-0_17 ◽

1985 ◽

pp. 261-275 ◽

Cited By ~ 6

Author(s):

L. Bougé ◽

N. Choquet ◽

L. Fribourg ◽

M. C. Gaudel

Keyword(s):

Algebraic Specifications ◽

Test Sets

Download Full-text

Formal Methods and Software Development - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Formalized software development in an industrial environment

A formal specification of line representations on graphics devices

Experiences with object oriented programming

Modelling concurrent modules

Algebraic specification of a communication scheduler

ASSPEGIQUE: An integrated environment for algebraic specifications

Program development and documentation by informal transformations and derivations

Algebraic specification of synchronisation and errors: A telephonic example

Software construction using typed fragments

Application of PROLOG to test sets generation from algebraic specifications

Formal Methods and Software Development - Lecture Notes in Computer Science
Latest Publications