10159 search results - page 199 / 2032 » System Design Validation Using Formal Models |
140
Voted
IFM
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
133
Voted
DSVIS
1998
Springer
15 years 7 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
142
Voted
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
162
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
113
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...