Sciweavers

3736 search results - page 700 / 748
» Hand-Writing Program Generator Generators
Sort
View
CASCON
2006
118views Education» more  CASCON 2006»
15 years 3 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
114
Voted
DAGSTUHL
2004
15 years 3 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
APVIS
2001
15 years 3 months ago
Rapid Assembly and Deployment of Domain Visualisation Solutions
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
Tim Pattison, Rudi Vernik, Daniel Goodburn, Matthe...
LISA
2004
15 years 3 months ago
Auto-configuration by File Construction: Configuration Management with newfig
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
William LeFebvre, David Snyder
EUSFLAT
2003
175views Fuzzy Logic» more  EUSFLAT 2003»
15 years 3 months ago
A multiattribute decision making approach using intuitionistic fuzzy sets
The concept of intuitionistic fuzzy sets is the generalization of the concept of fuzzy sets. The theory of intuitionistic fuzzy sets is well suited to dealing with vagueness. Rece...
Deng-Feng Li, Jian-Bo Yang