247 search results - page 30 / 50 » Development graphs - Proof management for structured specifi... |
RE
1997
Springer
15 years 3 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
SEAA
2008
IEEE
15 years 6 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
121
click to vote
SAC
1999
ACM
15 years 4 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
107
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
107
click to vote
EKNOW
2009
14 years 9 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...