Sciweavers

252 search results - page 24 / 51
» Pragmatic Type Interoperability
Sort
View
63
Voted
IWC
2011
111views more  IWC 2011»
14 years 4 months ago
Socio-technical systems: From design methods to systems engineering
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...
Gordon D. Baxter, Ian Sommerville
93
Voted
POPL
2010
ACM
15 years 7 months ago
Contracts Made Manifest
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...
DAGSTUHL
2001
14 years 11 months ago
An Overview of the GXL Graph Exchange Language
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
Andreas Winter, Bernt Kullbach, Volker Riediger
72
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
Design of Large-Scale Polylingual Systems
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Mark Grechanik, Don S. Batory, Dewayne E. Perry
OTM
2009
Springer
15 years 4 months ago
Positionalism of Relations and Its Consequences for Fact-Oriented Modelling
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
C. Maria Keet