Sciweavers

1003 search results - page 59 / 201
» A Framework for Developing Feature-Rich Software Systems
Sort
View
129
Voted
APSEC
2005
IEEE
15 years 9 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
152
Voted
AOSE
2003
Springer
15 years 9 months ago
A Framework for Constructing Multi-agent Applications and Training Intelligent Agents
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...
Pericles A. Mitkas, Dionisis Kehagias, Andreas L. ...
142
Voted
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 5 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
180
Voted
AOSE
2007
Springer
15 years 10 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
126
Voted
PPOPP
2010
ACM
16 years 1 months ago
Application heartbeats for software performance and health
Adaptive, or self-aware, computing has been proposed to help application programmers confront the growing complexity of multicore software development. However, existing approache...
Henry Hoffmann, Jonathan Eastep, Marco D. Santambr...