715 search results - page 106 / 143 » Application of Formal Methods to the Development of a Softwa... |
DILS
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a new method for the ontologically based standardization of concepts in the medical domain. As an application of this method we developed a data dictionary whi...
TOOLS
1997
IEEE
14 years 1 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
BMCBI
2007
13 years 9 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
We argue that an analytic proportionality assessment balancing usefulness and burden on individual or group privacy must be conducted throughout the design process to create accep...
STTT
2010
13 years 7 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...