Description: PragmaDev provides tools to verify and optimize business processes and to specify and design communicating systems.
Keywords: BPMN, Business Process, BPSim, Model, modeling, tool, PragmaDev, pragmadev, SDL-RT, SDLRT, SDL_RT, SDL RT, SDL, Z.100, specification and description language, LDS, MSC, message sequence chart, HMSC, Z.120, UML, UML-RT, Unified Modeling Language, real time, development, software, RTOS, real time operating system, methodology, object oriented, language, object, embedded, operating system, graphical, C, C language, C++, semaphore, timer, process, task, thread, temps reel, embarque, ASN, ASN.1, ASN1, Abstract Syntax Notation, MDE, MDA, MDD, Model Driven, MBSE, NAF, DoDAF
Computers Companies Software Development Embedded Systems 网站
2025年02月21日