1288 search results - page 109 / 258 » Visual Generalization in Programming by Example |
98
Voted
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
114
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
134
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
121
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) has been widely used in proteomics and metabolomics research. In this context, the technology has been incre...
155
Voted
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...