1508 search results - page 64 / 302 » Toward Software Plug-and-Play |
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
AGILEDC
2007
IEEE
14 years 3 months ago
2007
IEEE
In Christopher Alexander's pattern of this name, he says, “No social group—whether a family, a work group, or a school group—can survive without constant informal conta...
VISUALIZATION
2003
IEEE
14 years 2 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work,
sharing knowledge and creating knowledge. Overhearing con-
versations...