1210 search results - page 67 / 242 » Formal Techniques for Java Programs |
127
click to vote
JOT
2010
15 years 27 days ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
125
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...
106
click to vote
MM
1997
ACM
15 years 6 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
108
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
101
click to vote
CL
2007
Springer
15 years 2 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...