53 search results - page 6 / 11 » A Methodology for Role-Based Modeling of Open Multi-Agent So... |
162
Voted
SDL
2007
15 years 4 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
117
click to vote
AGILEDC
2003
IEEE
15 years 8 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
121
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
142
Voted
ETFA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
155
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...