4895 search results - page 305 / 979 » Tools for Grammar Engineering |
184
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
209
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
166
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
168
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Cyber Physical Systems (CPS) is emerging as a new research discipline at the intersection of physical, biological, engineering and information sciences. Information technology, on...
151
click to vote
OSS
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes a reference model for open source software (OSS) processes and its application towards discovering such processes from OSS project artifacts. This reference mo...