1246 search results - page 206 / 250 » Tool Support for Helping the Use of Frameworks |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
CISIS
2010
IEEE
2010
IEEE
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
14 years 3 months ago
Abstract—Open source software teams routinely develop complex software products in frequent-release settings with rather lightweight processes and project documentation. In this ...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
IEEEICCI
2002
IEEE
14 years 1 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...