4109 search results - page 396 / 822 » User Interface Software Tools |
169
click to vote
EUROMICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
163
click to vote
SIGADA
2005
Springer
16 years 8 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
226
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe several findings from a multi-year, multi-method study of how information and communication technologies have been adopted and adapted in Central Asia. ...
201
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The ever-increasing wealth of genomic sequence information provides an unprecedented opportunity for large-scale phylogenetic analysis. However, species phylogeny infe...
192
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...