Sciweavers

8627 search results - page 32 / 1726
» Software Engineering Using RATionale
Sort
View
APSEC
2004
IEEE
14 years 1 months ago
Monitored Software Components - A Novel Software Engineering Approach
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
Daniel Sundmark, Anders Möller, Mikael Nolin
WEBI
2005
Springer
14 years 3 months ago
Opportunities from Open Source Search
Internet search has a strong business model that permits a free service to users, so it is difficult to see why, if at all, there should be open source offerings as well. This pa...
Wray L. Buntine, Karl Aberer, Ivana Podnar, Martin...
ICSE
2007
IEEE-ACM
14 years 10 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...
EMSOFT
2009
Springer
14 years 4 months ago
Refining the control structure of loops using static analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...