Reo Coordination Language

#	Item
1	Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Computing Hardware description languages Synchronous programming languages SIGNAL Esterel Real-time computing Actor model Model checking Component-based software engineering Modeling and Analysis of Real Time and Embedded systems Reo Coordination Language
2	Scientific Report First name / Family name Francesco Santini Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2015-06-30 09:13:18 Constraint programming Mathematical optimization Software engineering Computer programming Constraint automaton Computing Constraint satisfaction problem Constraint satisfaction Constraint Reo Coordination Language Constrained optimization Multi-agent system