3799 search results - page 222 / 760 » An Engineering Approach to Formal Methods |
182
click to vote
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
14 years 12 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
165
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
139
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
128
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
142
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...