561 search results - page 71 / 113 » Research in Software Engineering: Paradigms and Methods |
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
RE
2010
Springer
13 years 2 months ago
2010
Springer
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...
DIS
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
GCC
2006
Springer
13 years 11 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
HPDC
1999
IEEE
14 years 15 hour ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...