3154 search results - page 59 / 631 » An annotation based approach to support design communication |
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
CRIWG
2003
14 years 11 months ago
2003
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
– The trend in communication systems is towards more rapidly changing specifications with shorter time intervals between updates of existing standards. This results in a coexiste...
IJAOSE
2010
14 years 7 months ago
2010
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
SIGCSE
2010
ACM
15 years 3 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...