Incremental Type Inference for Software EngineeringIncremental Type Inference for Software Engineering
Code is added one method at a time and missing types are inferred if possible. We present a specification and algorithm for inferring simple object-oriented types in this kind of incremental development environment
81.88 Kb. 1
read
Object-oriented technology is built on a sound engineering foundation, whose elements we collectively call theObject-oriented technology is built on a sound engineering foundation, whose elements we collectively call the
The object model encompasses the principles of abstraction, encapsulation, modularity, hierarchy, typing, concurrency, and persistence. By themselves, none of these principles are new
282.07 Kb. 3
read
Global Understanding Environment: Applying Semantic Web to Industrial AutomationGlobal Understanding Environment: Applying Semantic Web to Industrial Automation
Industrial Ontologies Group, Agora Center, University of Jyväskylä, P. O. Box 35 (Agora), 40014 Jyväskylä, Finland
120.63 Kb. 3
read
CycleTalk: Toward a Dialogue Agent that Guides Design with an Articulate SimulatorCycleTalk: Toward a Dialogue Agent that Guides Design with an Articulate Simulator
Carolyn P. Rosé1, Cristen Torrey1, Vincent Aleven1, Allen Robinson1, Chih Wu2, and Kenneth Forbus3
43.45 Kb. 1
read
War, Mathematics and Simulation: Drones and (Losing) Control of BattlespaceWar, Mathematics and Simulation: Drones and (Losing) Control of Battlespace
The organizing principle of the technical object is in this object qua tendency, aim and end
119.12 Kb. 3
read
Document submitted toDocument submitted to
Formulating Group or sub-element thereof of the Telecommunications Industry Association (tia) in accordance with the provisions of Sections 1 6 inclusive of the tia engineering Manual dated March 2005
468.34 Kb. 16
read
Augmented reality simulations on handheld computersAugmented reality simulations on handheld computers
Games-to-Teach Project. The authors would like to thank Henry Jenkins of mit and Randy Hinrichs at Microsoft Research, co-pis of this project for their support, as well as Kodjo Hesse, Gunnar Harboe
112.69 Kb. 1
read

  1




The database is protected by copyright ©ininet.org 2020
send message

    Main page