138 search results - page 20 / 28 » Integrating Formal Methods with Model-Driven Engineering |
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
107
Voted
IFM
2007
Springer
15 years 4 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
102
Voted
QOSA
2010
Springer
15 years 1 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
87
Voted
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
FMCAD
2008
Springer
14 years 12 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...