Sciweavers

1036 search results - page 32 / 208
» Design methods as discourse on practice
Sort
View
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
13 years 8 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
ICSE
2005
IEEE-ACM
14 years 8 months ago
A cross-program investigation of students' perceptions of agile methods
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
Grigori Melnik, Frank Maurer
DAC
1998
ACM
14 years 9 months ago
Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
Alper Demir, Amit Mehrotra, Jaijeet S. Roychowdhur...
ICSE
2003
IEEE-ACM
14 years 8 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi
ACMDIS
2008
ACM
13 years 10 months ago
Envisioning systemic effects on persons and society throughout interactive system design
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...
Lisa P. Nathan, Batya Friedman, Predrag V. Klasnja...