583 search results - page 79 / 117 » REquirements, Aspects and Software Quality: the REASQ model |
102
click to vote
CAV
2012
Springer
13 years 4 days ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
102
click to vote
ECOOP
1994
Springer
15 years 1 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
ECRTS
2007
IEEE
15 years 4 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...