2836 search results - page 183 / 568 » Model Checking for Software Architectures |
149
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
155
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
111
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
140
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 9 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
170
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...