49 search results - page 3 / 10 » The GTO Toolset and Method |
FORTE
2009
13 years 3 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
FAC
2011
13 years 22 days ago
2011
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
ICECCS
2007
IEEE
13 years 9 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
ICWE
2004
Springer
13 years 11 months ago
2004
Springer
This paper illustrates a method and a toolset for quality evaluation of Web applications that exploits conceptual specifications, deriving from the adoption of model-based develop...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...