2153 search results - page 36 / 431 » From Requirements Models to Formal Specifications in B |
IVC
2008
13 years 9 months ago
2008
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
NGITS
1999
Springer
14 years 1 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
AEI
2006
13 years 9 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
ICSOC
2010
Springer
13 years 7 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...