427 search results - page 66 / 86 » A Framework and Tool-Support for Reengineering Software Deve... |
SEAA
2008
IEEE
14 years 2 months ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
ETRICS
2006
14 years 3 days ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
OZCHI
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
EMSOFT
2011
Springer
12 years 8 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
TCIAIG
2010
13 years 3 months ago
2010
In this paper, we overview the 2009 Simulated Car Racing Championship--an event comprising three competitions held in association with the 2009 IEEE Congress on Evolutionary Comput...