Sciweavers

2429 search results - page 140 / 486
» A Requirement Engineering Approach to User Centered Design
Sort
View
SIGADA
2005
Springer
15 years 6 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
ICSM
2002
IEEE
15 years 5 months ago
Migration to Object Oriented Platforms: A State Transformation Approach
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
Ying Zou, Kostas Kontogiannis
91
Voted
SASO
2008
IEEE
15 years 7 months ago
Towards Seamless Adaptation: An Agent-Oriented Approach
Self-adaptive systems are able to autonomously adapt to changing user requirements and resource variability at runtime, therefore addressing the problem of software complexity and...
Nauman A. Qureshi, Anna Perini
97
Voted
HOLOMAS
2007
Springer
15 years 7 months ago
A Holonic Metamodel for Agent-Oriented Analysis and Design
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
Massimo Cossentino, Nicolas Gaud, Stéphane ...
114
Voted
ISORC
2007
IEEE
15 years 7 months ago
An Approach to Automated Agent Deployment in Service-Based Systems
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan G...