Sciweavers

4469 search results - page 17 / 894
» A Language for Role Specifications
Sort
View
112
Voted
COMPASS
1995
15 years 7 months ago
Combining Algebraic and Set-Theoretic Specifications
Claus Hintermeier, Hélène Kirchner, ...
210
Voted
CADE
2002
Springer
16 years 3 months 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
106
Voted
CSMR
1999
IEEE
15 years 8 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 ...
126
Voted
SLE
2009
Springer
15 years 10 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
114
Voted
AO
2007
77views more  AO 2007»
15 years 3 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