790 search results - page 95 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
138
Voted
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
116
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
140
Voted
ENTCS
2008
15 years 3 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
162
Voted
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
162
Voted
ADVIS
2006
Springer
15 years 9 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...