Sciweavers

149 search results - page 18 / 30
» Establishing a Software Architecting Environment
Sort
View
111
Voted
KBSE
2008
IEEE
15 years 10 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...
105
Voted
APSEC
2005
IEEE
15 years 9 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...
133
Voted
SAC
2003
ACM
15 years 8 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
122
Voted
OHS
2001
Springer
15 years 8 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
145
Voted
EUROMICRO
2000
IEEE
15 years 8 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...