1481 search results - page 79 / 297 » Enriching the Software Development Process by Formal Methods |
139
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
208
Voted
TII
2011
14 years 10 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
148
click to vote
SIGSAND
2008
15 years 4 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
156
Voted
IWPC
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
133
Voted
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...