22358 search results - page 43 / 4472 » Software Performance Engineering |
107
Voted
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
127
click to vote
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
194
Voted
SOFTWARE
2002
15 years 2 months ago
2002
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
CSEE
2009
Springer
15 years 6 months ago
2009
Springer
Assessing software engineering course projects should evaluate the achievement of proposed goals, as well as the compliance with mandated standards and processes. This might requi...
129
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...