488 search results - page 3 / 98 » On the Formal Generation of Process Redesigns |
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
HICSS
2008
IEEE
14 years 6 days ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
ENTCS
2008
13 years 5 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
CCS
2003
ACM
13 years 11 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...