1050 search results - page 40 / 210 » Generating Executable Scenarios from Natural Language |
138
Voted
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
118
Voted
JSS
2010
14 years 10 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
128
Voted
CF
2010
ACM
15 years 8 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
135
Voted
WM
2003
15 years 5 months ago
2003
This paper explores connections between Radical Empiricism (RE), a philosophic attitude developed by William James at the beginning of the 20th century, and Empirical Modelling (E...
147
Voted
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...