2722 search results - page 56 / 545 » Automating Language Evolution |
222
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
105
click to vote
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
107
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
COSIT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
121
click to vote
DSRT
2008
IEEE
15 years 1 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...