PragmaDev Studio

#	Item
1	SAMModel-Based Testing: an Approach with SDL/RTDS and DIVERSITY {julien.deltour,emmanuel.gaudin} Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:28:55 Software testing Software engineering TTCN-3 Model-based testing TTCN Scientific modelling Model checking Simulation Test automation PragmaDev Studio
2	Real Time Developer Studio user’s manual Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2015-02-16 02:53:14 Logic simulation Electronics Design Real Time Digital Simulator Electronic design automation Operations research Simulation
3	Real Time Developer Studio user’s manual Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2014-05-15 03:08:40 Test automation Prototype Business Specification and Description Language Software testing Technology Model-based testing