395 search results - page 9 / 79 » Development of a formal REA-ontology Representation |
178
Voted
POPL
2008
ACM
16 years 1 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
102
Voted
FOIS
2008
15 years 1 months ago
2008
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
TSE
2008
14 years 11 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
COMPSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
OTM
2004
Springer
15 years 5 months ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...