Sciweavers

15727 search results - page 304 / 3146
» Software Engineering - Introduction
Sort
View
B
2007
Springer
16 years 27 days ago
The B-Method for the Construction of Microkernel-Based Systems
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...
150
Voted
TMRA
2007
Springer
16 years 25 days ago
TMchartis- A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps
Hendrik Thomas, Rike Brecht, Bernd Markscheffel, S...
115
Voted
VLSI
2007
Springer
16 years 25 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...