1926 search results - page 330 / 386 » Modeling and Model Checking Software Product Lines |
102
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
AAMAS
2007
Springer
14 years 12 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
134
click to vote
COMSIS
2010
14 years 9 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
125
click to vote
TCAD
2010
14 years 6 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
SIGSOFT
2009
ACM
16 years 16 days ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...