1689 search results - page 204 / 338 » Empirical Methodologies in Software Engineering |
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
108
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
131
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
103
click to vote
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
123
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...