Sciweavers

2219 search results - page 106 / 444
» An environment for synchronous software development
Sort
View
ICSM
2007
IEEE
14 years 3 months ago
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
Thomas Østerlie, Alf Inge Wang
DSN
2004
IEEE
14 years 25 days ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
FOSSACS
2007
Springer
14 years 3 months ago
Semantic Barbs and Biorthogonality
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
14 years 3 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
IEEECIT
2006
IEEE
14 years 3 months ago
The Partitioning Methodology in Hardware/Software Co-Design Using Extreme Programming: Evaluation through the Lego Robot Project
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
Heeseo Chae, Dong-hyun Lee, Jiyong Park, Hoh Peter...