1481 search results - page 165 / 297 » Enriching the Software Development Process by Formal Methods |
124
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper discusses the need for both a series of electronic tools and procedural changes to the evidence collection process to accommodate the possibilities of wireless technolo...
127
click to vote
EUROSPI
2005
Springer
15 years 9 months ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
130
click to vote
ENTCS
2006
15 years 3 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
150
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
144
click to vote
LREC
2010
15 years 5 months ago
2010
After several years of development, the vision of the Semantic Web is gradually becoming reality. Large data repositories have been created and offer semantic information in a mac...