1148 search results - page 74 / 230 » Software engineering considered harmful |
128
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
145
click to vote
AUIC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...
129
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
149
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
163
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 5 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...