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 ◽

Author(s):

B.R. Bryant ◽

Beum-Seuk Lee

Keyword(s):

Object Oriented ◽

Specification Language ◽

Requirements Specification

Download Full-text

An Object-Oriented Executable Requirements Specification Language

Database and Expert Systems Applications ◽

10.1007/978-3-7091-7555-2_38 ◽

1991 ◽

pp. 227-232 ◽

Author(s):

Oscar Barros ◽

Germán Pavez

Keyword(s):

Object Oriented ◽

Specification Language ◽

Requirements Specification

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 ◽

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 ◽

Author(s):

E. Durr ◽

J. van Katwijk

Keyword(s):

Formal Specification ◽

Object Oriented ◽

Specification Language ◽

Formal Specification Language

Download Full-text

requirements specification language

10.1007/springerreference_23570 ◽

2011 ◽

Keyword(s):

Specification Language ◽

Requirements Specification

Download Full-text

Function point measurement for object-oriented requirements specification

Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000 ◽

10.1109/cmpsac.2000.884779 ◽

2002 ◽

Author(s):

S. Kusumoto ◽

K. Inoue ◽

T. Kasimoto ◽

A. Suzuki ◽

K. Yuura ◽

...

Keyword(s):

Object Oriented ◽

Requirements Specification ◽

Point Measurement ◽

Download Full-text

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 ◽

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

DPSOI: an executable requirements specification language for information processing systems

10.1109/hicss.1990.205174 ◽

2002 ◽

Author(s):

R.A. Tenazas ◽

A.I. Concepcion ◽

R.M. Villafuerte

Keyword(s):

Information Processing ◽

Specification Language ◽

Requirements Specification

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 ◽

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

UML-SR: A Novel Security Requirements Specification Language

2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs.2019.00051 ◽

2019 ◽

Author(s):

Muhammad Mohsin ◽

Muhammad Umair Khan

Keyword(s):

Specification Language ◽

Requirements Specification ◽

Security Requirements

Download Full-text