Sciweavers

2171 search results - page 125 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
ENTCS
2010
130views more  ENTCS 2010»
15 years 3 months ago
Structural Operational Semantics and Modal Logic, Revisited
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
Bartek Klin
ICFP
2007
ACM
15 years 10 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
KBSE
2005
IEEE
16 years 1 hour ago
Visualization-based analysis of quality for large-scale software systems
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...
HICSS
2006
IEEE
125views Biometrics» more  HICSS 2006»
16 years 14 days ago
The Tension between Integration and Fragmentation in a Component Based Software Development Ecosystem
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...
Jens-Magnus Arndt, Jens Dibbern
ICSE
2007
IEEE-ACM
16 years 17 days ago
Cost-Benefit Analysis of Software Development Techniques and Practices
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
Hakan Erdogmus