Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371231 ◽

2007 ◽

Cited By ~ 43

Author(s):

B.D. Theelen ◽

O. Florescu ◽

M.C.W. Geilen ◽

J. Huang ◽

P.H.A. van der Putten ◽

...

Keyword(s):

Object Oriented ◽

Specification Language

Download Full-text

An executable specification language for specification understanding in object-oriented specification reuse

Information and Software Technology ◽

10.1016/0950-5849(95)01080-7 ◽

1996 ◽

Vol 38 (6) ◽

pp. 419-434 ◽

Cited By ~ 1

Author(s):

Shih-Chien Chou ◽

Jen-Yen Chen ◽

Chyan-Goei Chung

Keyword(s):

Object Oriented ◽

Specification Language ◽

Executable Specification

Download Full-text

VDM++, a formal specification language for object-oriented designs

CompEuro 1992 Proceedings Computer Systems and Software Engineering ◽

10.1109/cmpeur.1992.218511 ◽

2003 ◽

Cited By ~ 16

Author(s):

E. Durr ◽

J. van Katwijk

Keyword(s):

Formal Specification ◽

Object Oriented ◽

Specification Language ◽

Formal Specification Language

Download Full-text

Automated conversion from requirements documentation to an object-oriented formal specification language

Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 ◽

10.1145/508791.508972 ◽

2002 ◽

Cited By ~ 16

Author(s):

Beum-Seuk Lee ◽

Barrett R. Bryant

Keyword(s):

Formal Specification ◽

Object Oriented ◽

Specification Language ◽

Formal Specification Language

Download Full-text

ASDL — An object-oriented specification language for syntax-directed environments

ESEC '87 - Lecture Notes in Computer Science ◽

10.1007/bfb0022100 ◽

2006 ◽

pp. 69-79

Author(s):

M.-L. Christ-Neumann ◽

H.-W. Schmidt

Keyword(s):

Object Oriented ◽

Specification Language

Download Full-text

Matisse: a concurrent and object-oriented system specification language

VLSI: Integrated Systems on Silicon ◽

10.1007/978-0-387-35311-1_24 ◽

1997 ◽

pp. 289-300 ◽

Cited By ~ 1

Author(s):

Julio Leao Silva ◽

Chantal Ykman-Couvreur ◽

Gjalt Jong

Keyword(s):

Object Oriented ◽

Specification Language ◽

System Specification ◽

Oriented System

Download Full-text

A specification language for object-oriented analysis and design

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052192 ◽

2006 ◽

pp. 365-385 ◽

Cited By ~ 1

Author(s):

Ted L. Briggs ◽

John Werth

Keyword(s):

Object Oriented ◽

Specification Language ◽

Analysis And Design ◽

Object Oriented Analysis

Download Full-text

A high-level object-oriented specification language for configuration management and tool integration

Software Process Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0017740 ◽

1996 ◽

pp. 137-143 ◽

Cited By ~ 3

Author(s):

O. Neumann ◽

S. Sachweh ◽

W. Schäfer

Keyword(s):

Configuration Management ◽

Object Oriented ◽

Specification Language ◽

Tool Integration ◽

High Level

Download Full-text

CSL: A class specification language for object-oriented design

Microprocessing and Microprogramming ◽

10.1016/0165-6074(90)90174-8 ◽

1990 ◽

Vol 28 (1-5) ◽

pp. 201-204

Author(s):

G. Bucci ◽

R. Cecchini ◽

A. Del Bimbo

Keyword(s):

Object Oriented ◽

Specification Language ◽

Object Oriented Design

Download Full-text

A pattern-based constraint specification language for object-oriented databases

COMPCON Spring '91 Digest of Papers ◽

10.1109/cmpcon.1991.128861 ◽

2002 ◽

Cited By ~ 5

Author(s):

S.Y.W. Su ◽

A.M. Alashqur

Keyword(s):

Object Oriented ◽

Specification Language ◽

Constraint Specification ◽

Object Oriented Databases

Download Full-text

Two-level grammar as an object-oriented requirements specification language

Proceedings of the 35th Annual Hawaii International Conference on System Sciences ◽

10.1109/hicss.2002.994486 ◽

2003 ◽

Cited By ~ 12

Author(s):

B.R. Bryant ◽

Beum-Seuk Lee

Keyword(s):

Object Oriented ◽

Specification Language ◽

Requirements Specification

Download Full-text