Sciweavers

4917 search results - page 264 / 984
» Software Engineering is Not Computer Science
Sort
View

Book
518views
17 years 1 months ago
Convex Optimization
Book web site includes links to a full course, software, and other material.
Stephen Boyd, Lieven Vandenberghe
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 5 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
SAC
2009
ACM
15 years 10 months ago
A collaborative tool for designing and enacting design processes
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
108
Voted
SAC
2009
ACM
15 years 10 months ago
Lightweight monitoring of sensor software
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
Mustafa Hammad, Jonathan Cook
109
Voted
BERTINORO
2005
Springer
15 years 9 months ago
Self-Aware Software - Will It Become a Reality?
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...
Péter András, Bruce G Charlton