2171 search results - page 61 / 435 » A Generic Process Algebra |
113
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Recently, Process-Aware Information Systems (PAIS) were introduced, which allow for dynamic process and service changes. This, in turn, has led to a large number of process model ...
90
Voted
OOIS
2001
Springer
15 years 5 months ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
135
Voted
IEEEICCI
2009
IEEE
15 years 7 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
116
Voted
ENTCS
2006
15 years 22 days ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...