أعرض في EDS

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

التفاصيل البيبلوغرافية
العنوان: Using Contracts to Guide the Search-Based Verification of Concurrent Programs
المؤلفون: Simon Poulding, Christopher M. Poskitt
المساهمون: Ruhe, Günther, Zhang, Yuanyuan
المصدر: Lecture Notes in Computer Science, 8084
Search based software engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings
Search Based Software Engineering ISBN: 9783642397417
SSBSE
Lecture Notes in Computer Science
بيانات النشر: Springer, 2013.
سنة النشر: 2013
مصطلحات موضوعية: Engineering, Fitness function, business.industry, VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), Concurrency, Real-time computing, Short paper, 020207 software engineering, 02 engineering and technology, DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), Sketch, Race condition, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), ComputingMilieux_COMPUTERSANDEDUCATION, 0202 electrical engineering, electronic engineering, information engineering, VERIFIKATION (SOFTWARE ENGINEERING), State space, 020201 artificial intelligence & image processing, ddc:004, business, Software engineering, Java Modeling Language
الوصف: Lecture Notes in Computer Science, 8084
ISSN:0302-9743
ISSN:1611-3349
Search based software engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings
ISBN:978-3-642-39742-4
ISBN:978-3-642-39741-7
وصف الملف: application/application/pdf
اللغة: English
ردمك: 978-3-642-39741-7
978-3-642-39742-4
تدمد: 0302-9743
1611-3349
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb856332b7d21d4748fa2673c5be23e7
https://hdl.handle.net/20.500.11850/67497
حقوق: OPEN
رقم الأكسشن: edsair.doi.dedup.....eb856332b7d21d4748fa2673c5be23e7
قاعدة البيانات: OpenAIRE
الوصف
ردمك:9783642397417
9783642397424
تدمد:03029743
16113349