3765 search results - page 568 / 753 » Formal Methods for Systems Engineering Behavior Models |
175
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
215
click to vote
AVI
2010
15 years 4 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
148
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
191
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
145
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...