Sciweavers

1445 search results - page 3 / 289
» Tool Integration in Software Engineering Environments
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
13 years 7 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
WCRE
1999
IEEE
13 years 11 months ago
A Tool for Securely Integrating Legacy Systems into a Distributed Environment
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...
Timothy S. Souder, Spiros Mancoridis
SEKE
2005
Springer
14 years 29 days ago
Using Ontologies to Add Semantics to a Software Engineering Environment
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodr...
METRICS
2005
IEEE
14 years 1 months ago
Empowering Software Development Environments by Automatic Software Measurement
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
Bernhard Daubner
SIGSOFT
2010
ACM
13 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...