3302 search results - page 278 / 661 » Software Is More Than Code |
165
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
157
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
153
click to vote
APIN
2007
15 years 6 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
159
click to vote
SEE
2010
Springer
15 years 5 months ago
2010
Springer
We describe the development, testing, and formative evaluation of nine role-play scenarios for teaching central topics in the responsible conduct of research to graduate students ...
113
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no assoc...