Sciweavers

1099 search results - page 33 / 220
» A Formal Approach to Domain-Oriented Software Design Environ...
Sort
View
WETICE
2003
IEEE
15 years 11 months ago
Software Security Checklist for the Software Life Cycle
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
David P. Gilliam, Thomas L. Wolfe, Joseph S. Sheri...
CODES
2001
IEEE
15 years 9 months ago
Modeling and evaluation of hardware/software designs
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
Neal K. Tibrewala, JoAnn M. Paul, Donald E. Thomas
SEW
2005
IEEE
15 years 11 months ago
Bridging the Gap between Systems Design
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
David Garlan, William K. Reinholtz, Bradley R. Sch...
JNSM
2010
166views more  JNSM 2010»
15 years 24 days ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
CADUI
2006
15 years 7 months ago
Participatory Design Meets Mixed Reality Design Models
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
Emmanuel Dubois, Guillaume Gauffre, Cédric ...