Sciweavers

15779 search results - page 2697 / 3156
» Change-oriented software engineering
Sort
View
SFP
2004
15 years 5 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
INTERACT
2003
15 years 5 months ago
Rapid Prototyping Collaborative Dialogue Interfaces
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
Elyon DeKoven, Marc de Hoogh, David V. Keyson
SERP
2003
15 years 5 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...
ICONIP
1998
15 years 5 months ago
A Web Oriented Recurrent Neural Network Simulator
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
Romuald Boné, Michel Crucianu, Pascal Makri...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
« Prev « First page 2697 / 3156 Last » Next »