354 search results - page 13 / 71 » Constraints of Behavioural Inheritance |
EUROMICRO
1996
IEEE
15 years 3 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
OOPSLA
1995
Springer
15 years 3 months ago
1995
Springer
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
158
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
IDEAL
2004
Springer
15 years 5 months ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...