2342 search results - page 183 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
149
Voted
REFSQ
2009
Springer
15 years 11 months ago
2009
Springer
[Context and motivation] In market-driven product development of software intensive products large numbers of requirements threaten to overload the development organization. It is ...
181
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
151
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
152
click to vote
SIGDOC
1998
ACM
15 years 8 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
132
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...