Sciweavers

430 search results - page 7 / 86
» Design by Contract for Python
Sort
View
SIGCSE
2009
ACM
151views Education» more  SIGCSE 2009»
14 years 8 months ago
A graphics package for the first day and beyond
We describe cs1graphics, a new Python drawing package designed with pedagogy in mind. The package is simple enough that students can sit down and make use of it from the first day...
Michael H. Goldwasser, David Letscher
FLAIRS
2010
13 years 9 months ago
A Game Playing System for Use in Computer Science Education
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
James MacGlashan, Don Miner, Marie desJardins
ENTCS
2010
75views more  ENTCS 2010»
13 years 7 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
ATAL
2005
Springer
14 years 1 months ago
Design by Contract Deontic Design Language for Multiagent Systems
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
Christophe Garion, Leendert van der Torre
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 7 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer