Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Journal Printable view
International Journal on Software Tools for Technology Transfer (STTT)

International Journal on Software Tools for Technology Transfer (STTT)

PublisherSpringer Berlin / Heidelberg
ISSN1433-2779 (Print) 1433-2787 (Online)
Subject CollectionComputer Science
SubjectComputer Science, Software Engineering, Software Engineering/Programming and Operating Systems and Theory of Computation
SpringerLink DateFriday, April 05, 2002
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
12 VolumesFirst | Current -6 | 5-1 | Next
Online First™ (13)
Volume 12
 
Number 1 / February, 2010
 1-88
Volume 11
 
Number 6 / December, 2009
 419-515
 
Number 5 / November, 2009
Special Section on FMICS 05
 355-418
 
Number 4 / October, 2009
Special Section on HVC 07
 269-353
 
Number 3 / July, 2009
 173-267
 
Number 2 / April, 2009
 85-171
 
Number 1 / February, 2009
 1-83
Volume 10
 
Number 6 / December, 2008
 473-534
 
Number 5 / October, 2008
 401-471
 
Number 4 / August, 2008
Special Section on Advances in Test Automation - the Evolution of TTCN-3
 281-400
 
Number 3 / June, 2008
 205-279
 
Number 2 / March, 2008
 111-203
 
Number 1 / January, 2008
 1-110
Volume 9
 
Numbers 5-6 / October, 2007
 415-544
 
Numbers 3-4 / June, 2007
 209-414
 
Number 2 / March, 2007
Special Section on Fundamental Approaches to Software Engineering
 103-207
 
Number 1 / February, 2007
Special Section on Advances in Automated Verification of Critical Systems
 1-101
Volume 8
 
Number 6 / November, 2006
Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)
 467-667
 
Numbers 4-5 / August, 2006
A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
 301-466
 
Number 3 / June, 2006
Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004
 177-299
 
Number 2 / April, 2006
Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
 93-176
 
Number 1 / February, 2006
Special section on Tools and Algorithms for the Construction and Analysis of Systems
 1-91
Volume 7
 
Number 4 / August, 2005
Special section on high-level test of complex systems
 293-387
 
Number 3 / June, 2005
Special section on formal methods for industrial critical systems
 195-291
 
Number 2 / April, 2005
Special section on Bounded Model Checking
 87-194
 
Number 1 / February, 2005
Special section on parallel and distributed model checking
 1-86
Volume 6
 
Number 4 / August, 2004
Special section on the algorithmics of software model checking
 257-341
 
Number 3 / August, 2004
Special section on tool integration applications and frameworks
 183-255
 
Number 2 / August, 2004
Special section on tools and algorithms for the construction and analysis of systems
 99-182
 
Number 1 / July, 2004
 1-97
12 VolumesFirst | Current -6 | 5-1 | Next
more options
Find

Starts With
380 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Content Status
SpringerLink Date
Copyright
Author
Article Category
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.105 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)