Sciweavers

4917 search results - page 383 / 984
» Software Engineering is Not Computer Science
Sort
View
COMPSAC
2006
IEEE
15 years 10 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
127
Voted
AGILEDC
2005
IEEE
15 years 9 months ago
An Environment for Collaborative Iteration Planning
Existing project planning software for agile development processes offers limited support for face-to-face, synchronous collaboration. In this paper, we describe an environment, A...
Lawrence Liu, Frank Maurer, Hakan Erdogmus
EMSOFT
2005
Springer
15 years 9 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
115
Voted
GECCO
2005
Springer
115views Optimization» more  GECCO 2005»
15 years 9 months ago
Search-based improvement of subsystem decompositions
The subsystem decomposition of a software system degrades gradually during its lifetime and therefore it gets harder and harder to maintain. As a result this decomposition needs t...
Olaf Seng, Markus Bauer, Matthias Biehl, Gert Pach...
121
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...