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...
— 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...
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
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...
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...