7404 search results - page 285 / 1481 » Software performance antipatterns |
153
click to vote
SIGITE
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
152
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
160
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...
182
Voted
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
153
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...