1376 search results - page 242 / 276 » Model-Driven Software Verification |
130
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
113
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
112
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
108
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
116
Voted
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...