Found 4 document(s)
Page 1 of 1
-
This paper describes how the combination of genomics, genetic engineering, and 3D structural characterization has helped clarify the redox regulatory networks in poplar with consequences not only in system biology in pla...
-
This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. Well-specified requirements are crucial for good software design; they depend on the understanding of the doma...
-
Based on the old but famous distinction between "in the small" and "in the large" software development, at Nancy Université, UHP Nancy 1, we experience for a while software engineering education thanks to actual project ...
-
In the eye of educators, Java looks like a very promising tool. This paper discusses how we can use Java in introductory computer science courses. We first present and analyze how Java fits in our requirements in this co...