Sciweavers

1675 search results - page 194 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
ACISICIS
2009
IEEE
15 years 9 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
126
Voted
DAGSTUHL
2008
15 years 6 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
150
Voted
ECOOP
2004
Springer
15 years 10 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 9 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 5 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