Sciweavers

13456 search results - page 60 / 2692
» Design and Development in the
Sort
View
EDOC
2006
IEEE
14 years 3 months ago
Requirements Traceability and Transformation Conformance in Model-Driven Development
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...
João Paulo A. Almeida, Pascal van Eck, Mari...
MSR
2005
ACM
14 years 3 months ago
A framework for describing and understanding mining tools in software development
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
Daniel M. Germán, Davor Cubranic, Margaret-...
IDEAL
2003
Springer
14 years 2 months ago
A Two-Stage Bayesian Network for Effective Development of Conversational Agent
Conversational agent is a system that provides user with proper information and maintains the context of dialogue based on natural language. When experts design the network for con...
Jin-Hyuk Hong, Sung-Bae Cho
AISC
2010
Springer
14 years 2 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
MKWI
2008
171views Business» more  MKWI 2008»
13 years 11 months ago
Model-Driven Process Development Incorporating Human Tasks in Service-Oriented Grid Environments
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
Julian Reichwald, Tim Dörnemann, Thomas Barth...