1137 search results - page 102 / 228 » Disciplined Methods of Software Specification: A Case Study |
150
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
138
click to vote
ICSEA
2008
IEEE
15 years 11 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
140
click to vote
JUCS
2006
15 years 4 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
128
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
138
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...