Sciweavers

5252 search results - page 379 / 1051
» Requirements engineering: a roadmap
Sort
View
UML
2005
Springer
16 years 1 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
UML
2005
Springer
16 years 1 months ago
Weaving Executability into Object-Oriented Meta-languages
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
Pierre-Alain Muller, Franck Fleurey, Jean-Marc J&e...
VSTTE
2005
Springer
16 years 1 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
PPPJ
2004
ACM
16 years 1 months ago
Embedding JAAS in agent roles to apply local security policies
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
178
Voted
WOSS
2004
ACM
16 years 1 months ago
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
Matthew J. Hawthorne, Dewayne E. Perry