Sciweavers

1613 search results - page 155 / 323
» Model-Driven Constraint Engineering
Sort
View
136
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
EUROMICRO
2004
IEEE
15 years 7 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
TSE
2010
132views more  TSE 2010»
14 years 10 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt
AGP
2003
IEEE
15 years 9 months ago
Interpreting Abduction in CLP
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
Marco Gavanelli, Evelina Lamma, Paola Mello, Miche...
CPAIOR
2004
Springer
15 years 7 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz