2969 search results - page 359 / 594 » The Case for User-Centered CASE Tools |
145
click to vote
ERCIMDL
2003
Springer
15 years 12 months ago
2003
Springer
Addressing the preservation and long-term access issues for digital resources is one of the key challenges facing informational organisations such as libraries, archives, cultural ...
193
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
225
Voted
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
160
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
181
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...