36320 search results - page 235 / 7264 » From Code to Models |
172
click to vote
WSC
2008
15 years 8 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
152
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We propose a method of using shape adaptation for compression of light fields of 3-D objects. Shape adaptation is incorporated into two light field coders, both applying disparity...
193
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
175
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
149
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...