Sciweavers

102 search results - page 21 / 21
» Evolving Concurrent Petri Net Models of Epistasis
Sort
View
HCI
2009
13 years 2 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
IIE
2007
125views more  IIE 2007»
13 years 4 months ago
Should LOGO Keep Going FORWARD 1?
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
Ken Kahn