Sciweavers

15974 search results - page 2679 / 3195
» Object-Oriented Software Engineering
Sort
View
SERP
2004
15 years 8 months ago
Using ZOOM Approach to Support MDD
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Q...
SFP
2004
15 years 8 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 8 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 8 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...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 8 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 2679 / 3195 Last » Next »