1926 search results - page 182 / 386 » Modeling and Model Checking Software Product Lines |
145
click to vote
AGILEDC
2007
IEEE
16 years 24 days ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
174
click to vote
PLDI
2005
ACM
16 years 6 hour ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
160
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
171
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
As the number of cores on a single-chip grows, scalable barrier synchronization becomes increasingly difficult to implement. In software implementations, such as the tournament ba...
213
click to vote
SCESM
2006
ACM
16 years 12 days ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...