277 search results - page 7 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
160
click to vote
SEFM
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
141
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
158
click to vote
SOQUA
2004
15 years 7 months ago
2004
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
174
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
168
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...