2705 search results - page 119 / 541 » Formal Ontology for Subject |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...