1051 search results - page 155 / 211 » Protocols in the use of empirical software engineering artif... |
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
IE
2007
13 years 10 months ago
2007
How can we help people design well-formed and innovative games? The design Patterns of Christopher Alexander is one methodology that has been proposed to assist in the design of w...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...