Sciweavers

1804 search results - page 234 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
WOSP
2005
ACM
15 years 9 months ago
Performance by unified model analysis (PUMA)
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan...
KBSE
1998
IEEE
15 years 7 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
ESEM
2010
ACM
15 years 2 months ago
Introducing the evaluation of complexity in functional size measurement: a UML-based approach
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
Luigi Lavazza, Gabriela Robiolo
172
Voted
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 10 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
WCRE
2006
IEEE
15 years 10 months ago
"Cloning Considered Harmful" Considered Harmful
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
Cory Kapser, Michael W. Godfrey