Sciweavers

149 search results - page 18 / 30
» Establishing a Software Architecting Environment
Sort
View
KBSE
2008
IEEE
15 years 3 months ago
Utilizing Firm-Hosted Online Communities: Research challenges and needs
The increased popularity of Firm-Hosted Online Communities (FOC) has initiated a radical transformation of customer-producer relationships in many industries with important implic...
Sami Jantunen, Kari Smolander, Sanna Malinen, Tytt...
APSEC
2005
IEEE
15 years 3 months ago
A Temporal Logic for Input Output Symbolic Transition Systems
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
Marc Aiguier, Pascale Le Gall, Delphine Longuet, A...
SAC
2003
ACM
15 years 2 months ago
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
Athie L. Self, Scott A. DeLoach
78
Voted
OHS
2001
Springer
15 years 1 months ago
Using Structural Computing to Support Information Integration
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
Kenneth M. Anderson, Susanne A. Sherba
EUROMICRO
2000
IEEE
15 years 1 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...