4079 search results - page 274 / 816 » Differential Testing for Software |
131
click to vote
PTS
1998
15 years 5 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
108
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
111
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
150
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
152
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...