1229 search results - page 47 / 246 » Reflections on the Design of a Specification language |
ICMAS
1998
13 years 9 months ago
1998
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
JUCS
2007
13 years 8 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
VL
1996
IEEE
14 years 11 days ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
FDL
2004
IEEE
13 years 12 months ago
2004
IEEE
This paper presents a new approach to design embedded systems based on dynamic partial reconfigurable FPGAs. The approach is intended to allow designing of systems with runtime re...
EUROMICRO
1996
IEEE
14 years 11 days 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...