Sciweavers

75 search results - page 4 / 15
» serp 2007
Sort
View
SERP
2004
13 years 10 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
SERP
2004
13 years 10 months ago
Analysis and Metrics of XML Schema
Despite the ubiquity of XML, research in metrics for XML documents is scarce. This paper proposes and discusses eleven metrics to measure the quality and complexity of XML Schema ...
Andrew McDowell, Chris Schmidt, Kwok-bun Yue
SERP
2003
13 years 10 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
SERP
2003
13 years 10 months ago
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels
Abstract Methodologies involves both process elements and product elements. The OPEN Process Framework (OPF) focusses largely on process elements in the context of object-oriented ...
Brian Henderson-Sellers, Paolo Giorgini, Paolo Bre...
SERP
2003
13 years 10 months ago
Exploring Roles for the UML Diagrams in Software Performance Engineering
It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML ...
José Merseguer, Javier Campos