PragmaDev
Entity

  • PragmaDev

    Created in 2001
  • BETA

    Up & running (A)
    Existing signals show a regular activity

  • Social networks

    500

  • Activities

    it services

  • Technologies

    SaaS

  • Entity types

    SMB

  • Location

    18 Rue des Tournelles, 75004 Paris, France

    Paris

    France

  • Employees

    Scale: 2-10

    Estimated: 5

  • Engaged corporates

    1
    1 0

  • Added in Motherbase

    10 months, 3 weeks ago
Description
  • Value proposition

    Modeling and testing tools

    PragmaDev provides two lines of product:

    PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify their models. It integrates a BPMN editor, executor and explorer.

    PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.

    embedded software, real time software, modelling testing, bpmn, sdl, sdl-rt, uml, asn.1, ttcn-3, rtos, and business process

  • Original language

    Modeling and testing tools

    PragmaDev provides two lines of product:

    PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify their models. It integrates a BPMN editor, executor and explorer.

    PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.

  • PragmaDev - Modeling and Testing tools

    PragmaDev provides tools to verify and optimize business processes and to specify and design communicating systems.

    • https://www.pragmadev.com/
Corporate interactions BETA
Corporate TypeTweets Articles
Systematic Paris-Region
Systematic Paris-Region
Public business cluster, French Cluster, IT Services and IT Consulting
Systematic Paris-Region
Public business cluster, French Cluster, IT Services and IT Consulting 		Other

16 Jun 2023


Similar entities
Last news
Show all articles
Social network dynamics