Sciweavers

1932 search results - page 218 / 387
» Molecule-oriented programming in Java
Sort
View
ENTCS
2008
114views more  ENTCS 2008»
15 years 26 days ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
84
Voted
IJOE
2008
89views more  IJOE 2008»
15 years 24 days ago
Digital Astronomy in Education
: What causes seasons? Why day and night durations are so different with seasons alternation? Why the position of the full moon seems directed to the south in summer while it seems...
Saïd Boutiche
105
Voted
SCP
2002
119views more  SCP 2002»
15 years 13 days ago
Polymorphic subtyping in O'Haskell
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
Johan Nordlander
114
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
119
Voted
ENTCS
2008
140views more  ENTCS 2008»
15 years 26 days ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler