Sciweavers

848 search results - page 48 / 170
» A Formal Monitoring-Based Framework for Software Development...
Sort
View
DAGSTUHL
1992
13 years 10 months ago
A Methodology for Evaluating Software Engineering Methods and Tools
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
Barbara Kitchenham
AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 3 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
DAGSTUHL
2006
13 years 10 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
AAAI
2008
13 years 11 months ago
An Architecture and Formalism for Handling Modular Ontologies
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
Faezeh Ensan
JUCS
2010
162views more  JUCS 2010»
13 years 3 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...