359 search results - page 35 / 72 » Abstract Patterns of Compositional Reasoning |
162
Voted
ER
1997
Springer
15 years 6 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
116
Voted
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Wireless Sensor Networks (WSNs) are increasingly being employed as a key building block of pervasive computing infrastructures, owing to their ability to be embedded within the re...
136
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
132
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
129
Voted
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...