3256 search results - page 113 / 652 » Applications of Formal Methods to System Design and Verifica... |
136
click to vote
IJAOSE
2008
15 years 4 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
151
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
153
click to vote
ENTCS
2006
15 years 4 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
148
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
127
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...