2705 search results - page 119 / 541 » Formal Ontology for Subject |
161
click to vote
ISSTA
2009
ACM
16 years 25 days 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...
150
click to vote
FMICS
2007
Springer
16 years 15 days 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 ...
145
click to vote
KBSE
2005
IEEE
15 years 12 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...
166
click to vote
ATAL
2005
Springer
15 years 12 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...
144
click to vote
CCS
2003
ACM
15 years 11 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...