2969 search results - page 359 / 594 » The Case for User-Centered CASE Tools |
163
click to vote
ERCIMDL
2003
Springer
16 years 14 days 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 ...
222
click to vote
FM
2003
Springer
16 years 14 days 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...
238
click to vote
ICFEM
2003
Springer
16 years 13 days 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...
184
click to vote
PASTE
2010
ACM
16 years 9 days 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...
208
click to vote
WCRE
2002
IEEE
16 years 4 days 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...