Sciweavers

5433 search results - page 662 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
APN
2006
Springer
15 years 10 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
APWEB
2006
Springer
15 years 10 months ago
WISE: A Prototype for Ontology Driven Development of Web Information Systems
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
Lv-an Tang, Hongyan Li, Baojun Qiu, Meimei Li, Jia...
COMPSAC
2004
IEEE
15 years 10 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
CSFW
2004
IEEE
15 years 10 months ago
Selecting Appropriate Counter-Measures in an Intrusion Detection Framework
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
Frédéric Cuppens, Sylvain Gombault, ...
BPM
2006
Springer
98views Business» more  BPM 2006»
15 years 10 months ago
Structured Service Composition
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
Rik Eshuis, Paul W. P. J. Grefen, Sven Till