Sciweavers

46084 search results - page 48 / 9217
» Developments in WIS development
Sort
View
JLP
2006
81views more  JLP 2006»
13 years 9 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
SIGSOFT
2010
ACM
13 years 6 months ago
Developer fluency: achieving true mastery in software projects
Outsourcing and offshoring lead to a rapid influx of new developers in software projects. That, in turn, manifests in lower productivity and project delays. To address this common...
Minghui Zhou, Audris Mockus
ATAL
2009
Springer
14 years 3 months ago
The DSML4MAS development environment
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
Stefan Warwas, Christian Hahn
CSMR
2006
IEEE
14 years 3 months ago
Chronia: Visualizing How Developers Change Software Systems
To understand a certain issue of the system we want to ask the knowledgeable developers. Yet, in large systems, not every developer is knowledgeable in all the details of the syst...
Mauricio Seeberger, Adrian Kuhn, Tudor Gîrba...
HICSS
2005
IEEE
112views Biometrics» more  HICSS 2005»
14 years 2 months ago
Effective Work Practices for FLOSS Development: A Model and Propositions
We review the literature on Free/Libre Open Source Software (FLOSS) development and on software development, distributed work and teams more generally to develop a theoretical mod...
Kevin Crowston, Hala Annabi, James Howison, Chenge...