2912 search results - page 221 / 583 » A Study of Collaboration in Software Design |
145
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
183
click to vote
SOCO
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
167
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
123
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract-- jMetal is a Java-based framework for multiobjective optimization using metaheuristics. It is an ease-to-use, flexible, and extensible software package that has been used...
160
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...