1481 search results - page 129 / 297 » Enriching the Software Development Process by Formal Methods |
129
Voted
RE
2009
Springer
15 years 10 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
125
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...
117
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
113
Voted
WACC
1999
ACM
15 years 8 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
145
Voted
JOT
2010
15 years 2 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...