1121 search results - page 84 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
101
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
142
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
109
click to vote
PDP
2007
IEEE
15 years 8 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...
136
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
145
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...