Formal Engineering for Industrial Software Development: Using the SOFL Method

Formal Engineering for Industrial Software Development: Using the SOFL Method

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrict

List Price: $ 129.00

Price: [wpramaprice asin=”3642058272″]

[wpramareviews asin=”3642058272″]

[wprebay kw=”industrial+software” num=”4″ ebcat=”-1″] [wprebay kw=”industrial+software” num=”5″ ebcat=”-1″]

Find More Industrial Software Products