8627 search results - page 446 / 1726 » Software Engineering Using RATionale |
214
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
186
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
172
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
186
Voted
APVIS
2008
15 years 8 months ago
2008
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
212
click to vote
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...