Sciweavers

4469 search results - page 17 / 894
» A Language for Role Specifications
Sort
View
COMPASS
1995
15 years 3 months ago
Combining Algebraic and Set-Theoretic Specifications
Claus Hintermeier, Hélène Kirchner, ...
CADE
2002
Springer
16 years 3 days ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
CSMR
1999
IEEE
15 years 4 months ago
Architecture Comprehension Tools for a PBX System
The comprehension of the dynamic and static structure of a system is of main importance for purposes of adding features, bug solving, and for redesign activities. This holds parti...
René L. Krikhaar, Loe M. G. Feijs, Roel de ...
SLE
2009
Springer
15 years 6 months ago
A Role-Based Approach towards Modular Language Engineering
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
Christian Wende, Nils Thieme, Steffen Zschaler
AO
2007
77views more  AO 2007»
14 years 12 months ago
A precise model for contextual roles: The programming language ObjectTeams/Java
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
Stephan Herrmann