Sciweavers

91 search results - page 5 / 19
» Perspectives about Paradigms in Software Engineering
Sort
View
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
14 years 2 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
CODES
2005
IEEE
14 years 4 months ago
Key research problems in NoC design: a holistic perspective
Networks-on-Chip (NoCs) have been recently proposed as a promising solution to complex on-chip communication problems. The lack of an unified representation of applications and ar...
Ümit Y. Ogras, Jingcao Hu, Radu Marculescu
ICSE
2000
IEEE-ACM
14 years 2 months ago
Software engineering for security: a roadmap
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
Premkumar T. Devanbu, Stuart G. Stubblebine
MODELS
2009
Springer
14 years 5 months ago
Language support for feature-oriented product line engineering
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
Wonseok Chae, Matthias Blume
CSMR
2007
IEEE
14 years 5 months ago
How Developers Develop Features
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...
Orla Greevy, Tudor Gîrba, Stéphane Du...