3357 search results - page 321 / 672 » On the Use of Process Trails to Understand Software Developm... |
154
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
The underlying processes that enable database query execution are fundamental to understanding database management systems. However, these processes are complex and can be difficu...
215
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
170
click to vote
INFSOF
2008
15 years 6 months ago
2008
When software development teams modify their requirements engineering process as an independent variable, they often examine the implications of these process changes by assessing...
190
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
153
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...