Sciweavers

2165 search results - page 116 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
AC
2003
Springer
15 years 11 months ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
HICSS
2010
IEEE
181views Biometrics» more  HICSS 2010»
15 years 5 months ago
Standards Initiatives for Software Product Line Engineering and Management within the International Organization for Standardiza
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
Timo Käkölä
CORR
2004
Springer
191views Education» more  CORR 2004»
15 years 6 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
APSEC
2000
IEEE
15 years 10 months ago
Goal based agent-oriented software modeling
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
Kenha Park, Jintae Kim, Sooyong Park