1032 search results - page 190 / 207 » A Survey on Industrial Software Engineering |
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
Privacy, its violations and techniques to circumvent privacy violation have grabbed the centre-stage of both academia and industry in recent months. Corporations worldwide have be...
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
107
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
110
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
123
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...