4469 search results - page 330 / 894 » A Language for Role Specifications |
218
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
159
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
175
click to vote
APWEB
2005
Springer
16 years 10 days ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
173
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
176
click to vote
HSNMC
2004
Springer
16 years 5 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...