2016 search results - page 194 / 404 » Tool Support for Ontology Engineering |
170
click to vote
SCAM
2008
IEEE
16 years 27 days ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
164
click to vote
QSIC
2006
IEEE
16 years 15 days ago
2006
IEEE
Users and providers of an information system should clearly understand the threats caused by the system as well as clarify the requirements for the system before they use the syst...
177
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
186
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
167
click to vote
SEE
1997
Springer
15 years 10 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...