Sciweavers

5228 search results - page 589 / 1046
» Case Studies for Software Engineers
Sort
View
ICSE
2008
IEEE-ACM
16 years 8 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
SIGSOFT
2009
ACM
16 years 1 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
CASCON
1997
79views Education» more  CASCON 1997»
15 years 8 months ago
File clustering using naming conventions for legacy systems
Decomposing complex software systems into conceptually independent subsystems represents a signi cant software engineering activity that receives considerable research attention. ...
Nicolas Anquetil, Timothy C. Lethbridge
AGILEDC
2007
IEEE
16 years 1 months ago
Death of the Cubicle; the Open Office Experiment
Open office environments are critical to the success of Agile projects, but transitioning an organization from traditional cubicles to an open office environment can be difficult ...
Matt Plante
AUIC
2005
IEEE
16 years 21 days ago
The Semiotics of User Interface Redesign
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
Jennifer Ferreira, Pippin Barr, James Noble