1210 search results - page 1 / 242 » Formal Techniques for Java Programs |
ECOOPW
2001
Springer
13 years 9 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
ECOOPW
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
FMICS
2009
Springer
13 years 9 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
ENTCS
2006
13 years 5 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...