359 search results - page 35 / 72 » Abstract Patterns of Compositional Reasoning |
182
click to vote
ER
1997
Springer
15 years 8 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 ...
138
Voted
PERCOM
2007
ACM
16 years 4 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...
157
click to vote
IPPS
2007
IEEE
15 years 10 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...
151
click to vote
CADE
2006
Springer
16 years 4 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 ...
151
click to vote
ASM
2010
ASM
15 years 11 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...