Sciweavers

15253 search results - page 373 / 3051
» Integer-Programming Software Systems
Sort
View
VISSOFT
2005
IEEE
16 years 12 days ago
Visual Realism for the Visualization of Software Metrics
The visualization techniques used in current software visualization frameworks make use of a limited set of graphical elements to highlight relevant aspects of a software system. ...
Danny Holten, Roel Vliegen, Jarke J. van Wijk
ECLIPSE
2004
ACM
16 years 8 days ago
Using Eclipse in distant teaching of software engineering
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
Philipp Bouillon, Jens Krinke
KBSE
1994
IEEE
15 years 11 months ago
Agent-Based Support for Communication Between Developers and Users in Software Design
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
Andreas Girgensohn, David F. Redmiles, Frank M. Sh...
AGILEDC
2004
IEEE
15 years 10 months ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 6 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...