Titlebook: Software Engineering Techniques; Third IFIP TC 2 Cent Zbigniew Huzar,Radek Koci,Jaroslav Zendulka Conference proceedings 2011 IFIP Internat

字形刻痕

送秋波

Invertebrate

Transformational Design of Business Processes for SOAss processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.

金盘是高原

Embolic-Stroke

scoliosis

Conference proceedings 2011ineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design,

Magnitude

Towards a Compiler for Business-IT Systemsany proposed solution techniques do not scale to the real-world requirements or they rely on assumptions that are not satisfied by Business-IT systems..As has been observed previously, research in this area is fragmented and does not follow a truly interdisciplinary approach. To overcome this fragme

amyloid

向外供接触

Gratuitous