-
1Academic Journal
Συγγραφείς: Ter Beek M H, Lluch Lafuente A, Petrocchi M
Πηγή: FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10–17, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Ter Beek M. H.; Lluch Lafuente A.; Petrocchi M./congresso_nome:FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:10/pagina_a:17/intervallo_pagine:10–17
ACM International Conference Proceeding SeriesΘεματικοί όροι: Maude, Model checking, Product families, QA75 Electronic computers. Computer science, Process algebra, 02 engineering and technology, Concurrent constraint programming, D.2.4 Software/Program Verification. Formal methods, Behavioural analyses, D.2.4 Software/Program Verification. Model checking, Validation, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://eprints.imtlucca.it/1589/1/paper.pdf
https://dblp.uni-trier.de/db/conf/splc/splc2013w.html#BeekLP13
https://dl.acm.org/citation.cfm?doid=2499777.2500722
http://fmt.isti.cnr.it/~mtbeek/FMSPLE13.pdf
http://fmt.isti.cnr.it/~mtbeek/slidesTokyo.pdf
https://dl.acm.org/doi/10.1145/2499777.2500722
https://core.ac.uk/display/18435001 -
2Academic Journal
Συγγραφείς: Eric Bodden, Patrick Lam, Laurie Hendren
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification— Validation General Terms, Algorithms, Experimentation, Performance, Verification Additional Key Words and Phrases, Typestate analysis, static analysis, runtime monitoring ACM Reference Format
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.5541; http://www.bodden.de/pubs/blh12partially.pdf
-
3Academic Journal
Συγγραφείς: Richard Wartell, Vishwath Mohan, Kevin W. Hamlen, Zhiqiang Lin
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, D.3.4 [Programming Languages, Processors—Code generation, D.2.4 [Software Engineering, Software/Program Verification—Validation
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.663; http://www.utdallas.edu/~kxh060100/wartell12acsac.pdf
-
4Academic Journal
Συγγραφείς: Raquel Oliveira, Pierre Genevès, Nabil Layaïda
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors H.2.3 [Database Management, Languages—Query lan- guages, D.2.4 [Software Engineering, Software/Program Verification—Validation Keywords XML, Schemas, XQuery, Schema evolution
Περιγραφή αρχείου: application/pdf
-
5Academic Journal
Συγγραφείς: Long Lu, Zhichun Li, Zhenyu Wu, Wenke Lee, Guofei Jiang
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation, D.2.5 [Software Engineering, Testing and Debug- ging—Code inspections and walk-throughs General Terms
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Shuai Li
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D2.4 [Software Engineering, Software/Program Verification—Validation General Terms Performance, Reliability, Verification Keywords Real-Time Embedded System, Software Radio Protocol, Real- Time Scheduling, Non-Functional Properties, Model-Driven Engineering, UML, MARTE
Περιγραφή αρχείου: application/pdf
-
7Academic Journal
Συγγραφείς: Fabian Büttner, Jordi Cabot, Martin Gogolla
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation General Terms Languages, verification Keywords Validation of model transformations, ATL, transformation models
Περιγραφή αρχείου: application/pdf
-
8Academic Journal
Συγγραφείς: Janne Merilinna, Juha Pärssinen
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification- Validation General Terms Design, Languages and Verification Keywords Model-Driven Development, Model-Based Testing and Requirements Tracing
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833; http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf
-
9Academic Journal
Συγγραφείς: Renato Cherini, Javier O. Blanco
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.4 [Programming Techniques, Sequential Program- ming, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.4 [Software En- gineering, Software/Program Verification—Validation, Formal methods, Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Constraints, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Reliability, Verification Keywords separation logic
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420; http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf
-
10Academic Journal
Συγγραφείς: Gary Wassermann, Zhendong Su
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.9439; http://rosaec.snu.ac.kr/meet/file/20090204paperd.pdf
-
11Academic Journal
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
Συγγραφείς: Ronald Stevens, Brittany Parsons, Tariq M. King
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – validation, reliability General Terms Verification, Reliability, Management. Keywords Autonomic Computing, Validation, Testing
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.832; http://cs.ndsu.edu/~tarking/papers/2007/StevensACMSE07.pdf
-
13Academic Journal
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.1837; http://cs.nju.edu.cn/changxu/publications/ESECFSE07.pdf
-
14Academic Journal
Συγγραφείς: Gary Wassermann, Zhendong Su
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4964; http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf
-
15Academic Journal
Συγγραφείς: Prasad Naldurg, Stefan Schwoon, John Lambert, Sriram Rajamani
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—access controls, information flow controls, D.2.4 [Software Engineering, Software/Program Verification—validation, formal methods General Terms Security, Design, Verification Keywords Vulnerability Reports, Privilege Escalation, Static Analysis
Περιγραφή αρχείου: application/pdf
-
16Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification − validation, D.2.5 [Software Engineering, Testing and Debugging − testing tools. General Terms Verification Keywords Input validation, software verification, software testing, empirical- based
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation General Terms Algorithms, Performance, Theory, Verification Keywords Pervasive Computing, Context Management, Incremental Consistency Checking
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.3619; http://cs.nju.edu.cn/changxu/publications/ICSE06.pdf
-
18Academic Journal
Συγγραφείς: Lionel C. Briand, Yvan Labiche, Marwa Shousha
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://utopia.csis.pace.edu/dps/2007/jkile/content/2005-fall/dcs860b/optimization/original papers/p1021-briand.pdf.
Θεματικοί όροι: D.2.4 [Software Engineering, Software/Program Verification – validation, reliability General Terms Algorithms, Performance, Design, Reliability, Experimentation, Theory, Verification. Keywords Schedulability theory, Genetic algorithms
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.505.2798
http://utopia.csis.pace.edu/dps/2007/jkile/content/2005-fall/dcs860b/optimization/original papers/p1021-briand.pdf -
19Academic Journal
Συγγραφείς: Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Validation, D.3.3 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax General Terms, Design, Languages, Reliability, Theory, Verification Additional Key Words and Phrases, dynamic software updating, updateability analysis, type inference, capability, Proteus
Περιγραφή αρχείου: application/pdf
-
20Academic Journal
Συγγραφείς: Fevzi Belli
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.2.4 [Software Engineering, Software/Program Verification – validation, D.2.5 [Software Engineering, Testing and Debugging – error handling, coverage testing, F.1.1 [Models of Computation, Automata – finite state, F.4.3 [F
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3912; http://sigma.upb.de/download/papers/HolisticView.pdf