563 search results - page 59 / 113 » The Professional Responsibilities of Software Engineers |
153
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...
156
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
133
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
173
click to vote
ICSM
2009
IEEE
16 years 29 days ago
2009
IEEE
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
153
click to vote
ICST
2008
IEEE
16 years 22 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...