Sciweavers

327 search results - page 17 / 66
» Early Safety Analysis: from Use Cases to Component-based Sof...
Sort
View
CASES
2008
ACM
14 years 11 months ago
Cache-aware cross-profiling for java processors
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
Walter Binder, Alex Villazón, Martin Schoeb...
SEAA
2008
IEEE
15 years 4 months ago
Evaluating RUP Software Development Processes Through Visualization of Effort Distribution
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
Werner Heijstek, Michel R. V. Chaudron
HYBRID
1998
Springer
15 years 1 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
77
Voted
SOQUA
2004
14 years 11 months ago
Measuring Component Performance Using A Systematic Approach and Environment
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Jerry Gao, Chandra S. Ravi, Raquel Espinoza
EWCBR
2004
Springer
15 years 1 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira