Sciweavers

1805 search results - page 155 / 361
» File System Interfaces for Embedded Software Development
Sort
View
119
Voted
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 3 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
RTAS
1996
IEEE
15 years 6 months ago
Supporting the specification and analysis of timing constraints
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
Lo Ko, Christopher A. Healy, Emily Ratliff, Robert...
CSCW
2006
ACM
15 years 8 months ago
Interruptions on software teams: a comparison of paired and solo programmers
This study explores interruption patterns among software developers who program in pairs versus those who program solo. Ethnographic observations indicate that interruption length...
Jan Chong, Rosanne Siino
ENTCS
2010
82views more  ENTCS 2010»
15 years 2 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...
97
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
Gary E. Anderson, T. C. Nicholas Graham, Timothy N...