Sciweavers

2165 search results - page 256 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
CSCW
2004
ACM
16 years 16 days ago
Sometimes you need to see through walls: a field study of application programming interfaces
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
Cleidson R. B. de Souza, David F. Redmiles, Li-Te ...
APN
2004
Springer
16 years 16 days ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
FMCO
2008
Springer
110views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Reusable Architectural Decision Model for Model and Metadata Repositories
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
Christine Mayr, Uwe Zdun, Schahram Dustdar
AIED
2005
Springer
16 years 20 days ago
Collaboration and Cognitive Tutoring: Integration, Empirical Results, and Future Directions
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
Andreas Harrer, Bruce M. McLaren, Erin Walker, Lar...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
16 years 10 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...