Sciweavers

4258 search results - page 317 / 852
» Languages and Interactive Software Development
Sort
View
DAC
2007
ACM
16 years 7 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
APSCC
2008
IEEE
16 years 1 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole
SOFTVIS
2010
ACM
15 years 6 months ago
Software evolution storylines
This paper presents a technique for visualizing the interactions between developers in software project evolution. The goal is to produce a visualization that shows more detail th...
Michael Ogawa, Kwan-Liu Ma
ITICSE
2005
ACM
16 years 7 days ago
Teaching software engineering through game design
Many projects currently used in Software Engineering curricula lack both the “fun factor” needed to engage students, as well as the practical realism of engineering projects t...
Kajal T. Claypool, Mark Claypool
ICSE
2003
IEEE-ACM
15 years 12 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic