1 |
SATEL — A test intention language for object-oriented specifications of reactive systems ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
SATEL — A test intention language for object-oriented specifications of reactive systems
|
|
|
|
BASE
|
|
Show details
|
|
3 |
M.D.: Object and reference immutability using Java generics
|
|
|
|
In: http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf (2007)
|
|
BASE
|
|
Show details
|
|
4 |
Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
5 |
Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
6 |
Design and Specification of an Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
7 |
A New Definition of the Subtype Relation
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
8 |
Parsed Use Case Descriptions as a Basis for Object-Oriented Class Model Generation
|
|
|
|
In: http://www.cs.bham.ac.uk/~isb855/papers/sys soft.pdf
|
|
BASE
|
|
Show details
|
|
|
|