795 search results - page 91 / 159 » A Formal Approach to Heterogeneous Software Modeling |
154
Voted
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
116
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
132
click to vote
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
137
Voted
FIW
2009
14 years 10 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
100
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...