Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 1
Volume 1, Number 1, April 2005
- Shawn A. Bohner, Mike Hinchey:
Introduction to Innovations in System and Software Engineering. 1-2 - Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech:
An evolutionary testbed for software technology evaluation. 3-11 - Antonio Cerone, George J. Milne
:
Property verification of asynchronous systems. 25-40 - Phan Cong Vinh, Jonathan P. Bowen:
Continuity aspects of embedded reconfigurable computing. 41-53 - Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais:
Recoverability preservation: a measure of last resort. 54-62 - Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder:
A UML-based approach to system testing. 12-24 - Norman F. Schneidewind:
Predicting risk as a function of risk factors. 63-70 - Phillip A. Laplante, Colin J. Neill:
Modeling uncertainty in software engineering using rough sets. 71-78 - Roy Sterritt:
Autonomic computing. 79-88
Volume 1, Number 2, September 2005
- Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee:
Progressive autonomy: a method for gradually introducing autonomy into space missions. 89-99 - Jonah Z. Lavi, Joseph Kudish:
Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems. 100-115 - Suresh Yadla, Jane Huffman Hayes, Alex Dekhtyar:
Tracing requirements to defect reports: an application of information retrieval techniques. 116-124 - Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Formal development of industrial-scale systems in Circus. 125-146 - Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation. 147-156 - Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, Shankar Sastry:
Online safety calculations for glide-slope recapture. 157-175 - Andrew J. Kornecki, Janusz Zalewski:
Experimental evaluation of software development tools for safety-critical real-time systems. 176-188 - Moshood Omolade Saliu, Günther Ruhe:
Software release planning for evolving systems. 189-204 - Rajesh Mathew, Mohamed F. Younis, Sameh M. Elsharkawy:
Energy-efficient bootstrapping for wireless sensor networks. 205-220 - Denis Gracanin, Kresimir Matkovic, Mohamed Eltoweissy:
Software visualization. 221-230
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
