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

Object-oriented system specification using defaults

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_2 ◽

1994 ◽

pp. 22-43 ◽

Cited By ~ 1

Author(s):

Udo W. Lipeck ◽

Stefan Brass

Keyword(s):

Object Oriented ◽

System Specification ◽

Oriented System

Download Full-text

Multilevel security in a distributed object-oriented system

Computers & Security ◽

10.1016/0167-4048(91)90056-j ◽

1991 ◽

Vol 10 (1) ◽

pp. 51-68 ◽

Cited By ~ 6

Author(s):

Vijay Varadharajan ◽

Stewart Black

Keyword(s):

Object Oriented ◽

Multilevel Security ◽

Distributed Object ◽

Oriented System

Download Full-text

Identifying Classes via Cognitive Approach in Object-Oriented System

2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application ◽

10.1109/paciia.2008.287 ◽

2008 ◽

Author(s):

Zhibin Yu ◽

Hai Jin

Keyword(s):

Object Oriented ◽

Cognitive Approach ◽

Oriented System

Download Full-text

An object-oriented system for engineering applications

ACM SIGMOD Record ◽

10.1145/38714.38747 ◽

1987 ◽

Vol 16 (3) ◽

pp. 299-310 ◽

Cited By ~ 16

Author(s):

Alfons Kemper ◽

Peter C. Lockemann ◽

Mechtild Wallrath

Keyword(s):

Object Oriented ◽

Engineering Applications ◽

Oriented System

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

An object-oriented system for dynamics-based 3D cloth simulation

2012 IEEE International Conference on Information Science and Technology ◽

10.1109/icist.2012.6221705 ◽

2012 ◽

Cited By ~ 3

Author(s):

Hanwen Li ◽

Yi Wan

Keyword(s):

Object Oriented ◽

Cloth Simulation ◽

Oriented System

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

Quality-Driven Extraction of a Component-based Architecture from an Object-Oriented System

2008 12th European Conference on Software Maintenance and Reengineering ◽

10.1109/csmr.2008.4493324 ◽

2008 ◽

Cited By ~ 4

Author(s):

Sylvain Chardigny ◽

Abdelhak Seriai ◽

Dalila Tamzalit ◽

Mourad Oussalah

Keyword(s):

Object Oriented ◽

Oriented System

Download Full-text

Actor-oriented system specification with dynamic logic

TAPSOFT '91 - Lecture Notes in Computer Science ◽

10.1007/3540539816_75 ◽

1991 ◽

pp. 337-357 ◽

Cited By ~ 3

Author(s):

J. -J. Ch. Meyer ◽

R. J. Wieringa

Keyword(s):

Dynamic Logic ◽

System Specification ◽

Oriented System

Download Full-text

Effectiveness of Software Metrics for Object-oriented System

Procedia Technology ◽

10.1016/j.protcy.2012.10.050 ◽

2012 ◽

Vol 6 ◽

pp. 420-427 ◽

Cited By ~ 13

Author(s):

Yeresime Suresh ◽

Jayadeep Pati ◽

Santanu Ku Rath

Keyword(s):

Software Metrics ◽

Object Oriented ◽

Oriented System

Download Full-text