3971 search results - page 53 / 795 » On the Use of Properties in Java Applications |
JSS
2007
13 years 9 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
AO
2007
13 years 9 months ago
2007
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
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...