Sciweavers

11653 search results - page 197 / 2331
» The Development of the C Language
Sort
View
121
Voted
W3C
1998
15 years 5 months ago
Query Languages Workshop Position Paper
This paper discusses the use of XML in conjunction with a variety of repositories and database systems, and outlines some of the requirements for an effective query language. Many...
Noah Mendelsohn
138
Voted
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 9 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
140
Voted
APSEC
1999
IEEE
15 years 8 months ago
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
Gang Xing, Michael R. Lyu
146
Voted
W3C
1998
15 years 5 months ago
A Query Language for XML
An important application of XML is the interchange of electronic data (EDI) between multiple data sources on the Web. As XML data proliferates on the Web, applications will need t...
Mary F. Fernandez, Dan Suciu
83
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 months ago
Sums and Lovers:  Case Studies in Security, Compositionality and Refinement
Annabelle McIver, Carroll C. Morgan