Sciweavers

1675 search results - page 194 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
ACISICIS
2009
IEEE
15 years 11 months ago
A Systematic Framework for Grammar Testing
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
Lixiao Zheng, Haiming Chen
DAGSTUHL
2008
15 years 7 months ago
Mathematica Connectivity to Interval Libraries filib++ and C-XSC
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
Evgenija D. Popova
ECOOP
2004
Springer
15 years 11 months ago
Parametric Aspects: A Proposal
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
Jordi Alvarez Canal
ECOOP
2000
Springer
15 years 10 months ago
Design Patterns Application in UML
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
Gerson Sunyé, Alain Le Guennec, Jean-Marc J...
POPL
2008
ACM
16 years 6 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani