Sciweavers

2912 search results - page 278 / 583
» A Study of Collaboration in Software Design
Sort
View
ICFEM
2007
Springer
15 years 8 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
ICSE
2008
IEEE-ACM
16 years 4 months ago
Reference architecture knowledge representation: an experience
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
Elisa Yumi Nakagawa, José Carlos Maldonado
CHI
2009
ACM
16 years 5 months ago
Cell phone software aiding name recall
Senior citizens often find it difficult to remember names. This paper describes a novel cell phone application that uses information about one's social network and the places...
Kent Fenwick, Michael Massimi, Ronald Baecker, San...
OOPSLA
2009
Springer
15 years 11 months ago
Design pattern density defined
Design pattern density is a metric that measures how much of an object-oriented design can be understood and represented as instances of design patterns. Expert developers have lo...
Dirk Riehle
CSCW
2006
ACM
15 years 10 months ago
Leveraging digital backchannels to enhance user experience in electronically mediated communication
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
Wendy A. Kellogg, Thomas Erickson, Tracee Vetting ...