670 search results - page 10 / 134 » Software safety: relating software assurance and software in... |
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
MSR
2006
ACM
14 years 2 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
ICECCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...