3045 search results - page 256 / 609 » Formal Approaches to Software Architecture |
184
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
136
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
180
click to vote
SOQUA
2004
15 years 8 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
160
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
167
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...