783 search results - page 4 / 157 » The TextPro Tool Suite |
DSVIS
2000
Springer
13 years 11 months ago
2000
Springer
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
SERA
2004
Springer
14 years 12 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
ITICSE
2000
ACM
13 years 11 months ago
2000
ACM
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
ICRA
2002
IEEE
14 years 11 hour ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...