978 citations
- Laboratoire de Physique Subatomique et des Technologies AssociéesFR81 papers
- Centre National de la Recherche ScientifiqueFR77 papers
- Brookhaven National LaboratoryUS51 papers
- Institute for High Energy PhysicsES50 papers
- Universidade de São PauloBR49 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR31 papers
- Joint Institute for Nuclear ResearchRU30 papers
- CEA Paris-SaclayFR29 papers
- Central China Normal UniversityCN29 papers
- École PolytechniqueFR29 papers
- Université Paris-SudFR29 papers
- Columbia UniversityUS28 papers
Showing 2009 · cs.SEShow all
3 papers · 2 filters
cs.SE2009★ 3 cited
Can Component/Service-Based Systems Be Proved Correct?
Christian Attiogbe
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A componen…
cs.SE2009★ 1 cited
Modelling and Analysing Dynamic Decentralised Systems
Christian Attiogbe
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach wit…
cs.SE2009★ 1 cited
Améliorer les performances de l'industrie logicielle par une meilleure compréhension des besoins
Benjamin Chevallereau, Alain Bernard, Pierre Mévellec
Actual organization are structured and act with the help of their information systems. In spite of considerable progresses made by computer technology, we note that actors are very…