1481 search results - page 232 / 297 » Enriching the Software Development Process by Formal Methods |
155
click to vote
SPLC
2004
15 years 7 months ago
2004
This paper elaborates on the coordination and management of evolving software product-lines, where development teams work around a shared and reusable domain infrastructure. The tr...
155
click to vote
TSE
1998
15 years 5 months ago
1998
—This paper describes an empirical study that addresses the issue of communication among members of a software development organization. In particular, data was collected concern...
160
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
202
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
154
click to vote
MEMOCODE
2007
IEEE
16 years 13 days ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...