Sciweavers

1005 search results - page 8 / 201
» Formal Software Development in MAYA
Sort
View
SEAA
2008
IEEE
15 years 6 months ago
Requirements Prioritization Based on Benefit and Cost Prediction: A Method Classification Framework
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...
Maya Daneva, Andrea Herrmann
ICFEM
1997
Springer
15 years 3 months ago
Development and Application of a Formal Agent Framework
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Mark d'Inverno, Michael Luck
75
Voted
SMC
2007
IEEE
146views Control Systems» more  SMC 2007»
15 years 6 months ago
Blender plugin implementations for 3D collaborative work
— The development of networking and client/server systems over the Internet had led to many collaborative work software applications. To extend the graphic design collaborative p...
Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Ma...
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
15 years 5 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
FASE
2008
Springer
15 years 1 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...