Sciweavers

2219 search results - page 247 / 444
» An environment for synchronous software development
Sort
View
SIGSOFT
2010
ACM
15 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
GI
2005
Springer
16 years 6 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
VL
2009
IEEE
160views Visual Languages» more  VL 2009»
16 years 1 months ago
Empowering designers with creativity support tools
When conceiving of and implementing interactive behaviors, most designers rely on professional software developers to prototype and implement their designs. They often use static ...
Stephen Oney
KBSE
2008
IEEE
16 years 1 months ago
Utilizing Firm-Hosted Online Communities: Research challenges and needs
The increased popularity of Firm-Hosted Online Communities (FOC) has initiated a radical transformation of customer-producer relationships in many industries with important implic...
Sami Jantunen, Kari Smolander, Sanna Malinen, Tytt...
PERVASIVE
2005
Springer
16 years 5 days ago
Service Discovery in TinyObj: Strategies and Approaches
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
Pavel Poupyrev, Takahiro Sasao, Shunsuke Saruwatar...