11462 search results - page 57 / 2293 » Developing Application-Centric Methods |
AGILEDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Agile software methodologies promote developing better software faster and have been gaining popularity in industry. However, agile methods are still unfamiliar in the academic wo...
VRST
2000
ACM
15 years 4 months ago
2000
ACM
The need for a real-world driving problem to guide technology development has long been recognised. However, this does not guarantee the identification of requirements for technol...
108
click to vote
FM
1998
Springer
15 years 4 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
GROUP
1993
ACM
15 years 4 months ago
1993
ACM
: Development of documents in multiple media involves activities in three different fields, the technical, the discoursive and the procedural. The major development problems of art...
FM
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...