Home Products & Services SPECIFY4IT Questions about SPECIFY4IT™

Cookie policy

Questions About SPECIFY4IT™

Why is SPECIFY4IT™ different from other software and information systems development tools?

How can I be certain that SPECIFY4IT™ will produce the results I need?

How can SPECIFY4IT™ cut software development costs by 50%?

How does PDT guarantee fewer errors than other software development systems?

Why is SPECIFY4IT™ software development significantly faster than its competitors?


SPECIFY4IT™: different from other software and information systems development tools

The impact of SPECIFY4IT™is its ability to generate fully-working application code directly from the specification. This is a world first and the implications for IT systems development are vast and more far-reaching than code generation.

Previous specification systems have been based on a series of presentations that use different viewpoints and languages. This leads to confusion and lack of understanding by the customer. PDT has taken the specification meta-model apart and built SPECIFY4IT™ to form a single, fully-integrated toolset using simple, form-based text input with a single graphical presentation.

The mathematics is based on first order predicate calculus, the basis for relational databases, but this formalism is hidden from the user and the customer. Because of the formalism, it is possible to derive by rule many of the traditional models used in other methodologies, for example the Entity Diagram of SSADM and the Sequence Diagram of UML.

Be certain that SPECIFY4IT™ will produce the results you need for your business

Accurate specifications mean you get what you want and have verified at the animation stage; animation means all users can easily understand and verify their requirements. Using SPECIFY4IT™ enables a detailed model of the system. This expresses precisely and unambiguously how the system must behave, using what data, applying which processes in what order and in response to which events.

The toolset is unique in employing a specification language that has a formal syntax and (partial) semantics - enabling specifications to be checked for internal consistency and completeness. The SPECIFY4IT™approach also provides accurate animation of the specification using User Acceptance Test data. This enables the user to check in detail the specification provides exactly the required functionality, sequence and results – before any coding.

SPECIFY4IT™ cuts software development costs by 50%

Using SPECIFY4IT™ lets you develop systems more quickly, using less staff; as fewer staff are involved for less time, each project will naturally cost less.

The quality of systems developed using SPECIFY4IT™ means maintenance costs are also dramatically reduced. Because the systems produced have no human-introduced bugs, the maintenance burden is reduced to system updates as a result of changing business requirements.

PDT guarantees fewer errors than other software development systems

The SPECIFY4IT™ approach of automated reasoning leads directly to error free code and systems that exactly match customer needs – any errors that may exist are identified while you prepare the specification.

SPECIFY4IT™ software development is significantly faster than its competitors

The SPECIFY4IT™ approach to software and information systems development lets automated reasoning systems do most of the work, swiftly and correctly, freeing you and your staff for work on other projects.

Arriving at the agreed animated specification may take a little longer than using traditional methods, from here on everything happens swiftly. Code is delivered currently in Java client-server systems using web browser interfaces within a matter of minutes or hours on the most complex systems.

And remember the code will be bug free and match your agreed specification precisely. Finally, SPECIFY4IT™ will deliver code much closer to the point of requirement enabling you to stay ahead of your competitors.


To read more, follow these links:

Issues in IT System Specification

How SPECIFY4IT™ works

The Future of Software Development

Watch the introductory video