327 search results - page 39 / 66 » Early Safety Analysis: from Use Cases to Component-based Sof... |
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
102
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
PASTE
2010
ACM
15 years 2 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...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...