6796 search results - page 116 / 1360 » Java for Embedded Systems |
238
Voted
Book
"EJB Design Patterns goes beyond high-level design pattern descriptions into critical EJB-specific implementation issues, illustrated with source code implementations. The boo...
139
click to vote
Source Code
iScribble, is a graphical user interface developed by us, with a JAVA front-end and a Matlab back-end. The GUI is a powerful yet simple tool which can be easily integrated with Mat...
119
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
100
click to vote
SP
1999
IEEE
15 years 6 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
158
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...