Sciweavers

467 search results - page 3 / 94
» Program fields for continuous software
Sort
View
CSCW
2004
ACM
13 years 10 months ago
Sometimes you need to see through walls: a field study of application programming interfaces
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
Cleidson R. B. de Souza, David F. Redmiles, Li-Te ...
CORR
2006
Springer
123views Education» more  CORR 2006»
13 years 5 months ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
13 years 11 months ago
Collaborative Continuous Service Engineering: A Case Study in a Financial Service Environment
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
Ryan Riordan, Benjamin Blau, Dirk Neumann, Christo...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
13 years 9 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
CSEE
2009
Springer
13 years 12 months ago
SWEBOK Refresh and Continuous Update: A Call for Feedback and Participation
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
Pierre Bourque