2500 search results - page 22 / 500 » Specifying Behavior in C |
CORR
1999
Springer
13 years 8 months ago
1999
Springer
The goal of this paper is to define and analyze systems which exhibit brittle behavior. This behavior is characterized by a sudden and steep decline in performance as the system s...
VL
2009
IEEE
14 years 3 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
ICSE
2000
IEEE-ACM
14 years 23 days ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
CHI
1996
ACM
14 years 1 months ago
1996
ACM
Current user interface construction tools make it difficult for a user interface designer to illustrate the behavior of an interface. These tools focus on specifying widgets and m...
SCESM
2006
ACM
14 years 3 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...