3827 search results - page 322 / 766 » The Epsilon Generation Language |
206
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
204
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
158
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
177
click to vote
CICLING
2005
Springer
16 years 6 days ago
2005
Springer
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...
203
click to vote
UML
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...