Sciweavers

1781 search results - page 142 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
EMSOFT
2011
Springer
14 years 15 days ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
107
Voted
FASE
2009
Springer
15 years 7 months ago
Control Dependence for Extended Finite State Machines
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
Kelly Androutsopoulos, David Clark, Mark Harman, Z...
89
Voted
ICSM
2003
IEEE
15 years 6 months ago
Safe Upgrading without Restarting
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
Miles Barr, Susan Eisenbach
76
Voted
AUIC
2004
IEEE
15 years 4 months ago
e-Ghosts: Leaving Virtual Footprints in Ubiquitous Workspaces
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
Michael Vernik, Steven Johnson, Rudi Vernik
84
Voted
AVI
2008
15 years 3 months ago
Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coni...