1141 search results - page 73 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
186
click to vote
CSEE
2009
Springer
16 years 24 days ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
186
Voted
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
173
Voted
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
173
click to vote
SACMAT
2006
ACM
16 years 6 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
158
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...