8083 search results - page 258 / 1617 » A Formalization of Software Architecture |
148
click to vote
COMCOM
2000
15 years 6 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
207
click to vote
JSS
2010
15 years 1 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
158
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
In order to ensure the quality of their software development process, companies incorporate best practices from recognized repositories or from their own experiences. These best pr...
158
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
167
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...