Sciweavers

3763 search results - page 332 / 753
» Component-Based Software Engineering Processes
Sort
View
SDE
1991
15 years 10 months ago
A Configurable Framework for Method and Tool Integration
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
Jeff Kramer, Anthony Finkelstein
IWPC
2009
IEEE
16 years 1 months ago
Intensions are a key to program comprehension
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
Václav Rajlich
FSTTCS
2006
Springer
15 years 10 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
Josee Desharnais, François Laviolette, Sami...
ADBIS
2005
Springer
138views Database» more  ADBIS 2005»
16 years 8 days ago
Software Quality and Life Cycles
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
Hannu Jaakkola, Bernhard Thalheim
191
Voted
IEEESCC
2008
IEEE
16 years 1 months ago
An Interdisciplinary Methodology for Building Service-oriented Systems on the Web
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...
Steffen Lamparter, York Sure