Výsledky vyhledávání - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications

Consistency Checking in Early Software Product Line Specifications -The VCC Approach

Autoři: Alférez, Mauricio Lopez-Herrejon, Roberto Erick Moreira, Ana a další

Přispěvatelé: Alférez, Mauricio Lopez-Herrejon, Roberto Erick Moreira, Ana a další

Zdroj: ISSN: 0948-695X.

Témata: Model-Based Software Product Lines, Variability Modeling, Verification, Feature Modeling Analysis, Architecture Design, Model-Driven Development, Variability-Intensive Systems, Highly Configurable Systems, Requirements Engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO]Computer Science [cs], [SPI]Engineering Sciences [physics], [MATH]Mathematics [math]

Dostupnost: https://inria.hal.science/hal-01088464
https://inria.hal.science/hal-01088464v1/document
https://inria.hal.science/hal-01088464v1/file/jucs_20_05_0640_0665_alferez.pdf

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Autoři: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Přispěvatelé: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823

Témata: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Geografické téma: Cape Town, South Africa

Time: Cape Town, South Africa

Dostupnost: https://inria.hal.science/inria-00472287
https://inria.hal.science/inria-00472287v3/document
https://inria.hal.science/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://doi.org/10.1145/1806799.1806823

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Autoři: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Přispěvatelé: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Zdroj: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.

Témata: Formal Methods, Specification, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Dostupnost: https://inria.hal.science/inria-00440437
https://inria.hal.science/inria-00440437v1/document
https://inria.hal.science/inria-00440437v1/file/LISE-HAL-INRIA-RR-7148.pdf

Usability Insights for Requirements Engineering Tools: A User Study with Practitioners in Aeronautics

Autoři: Gaspard-Boulinc, Hélène Conversy, Stéphane Ecole Nationale de l'Aviation Civile (ENAC)

Přispěvatelé: Gaspard-Boulinc, Hélène Conversy, Stéphane Ecole Nationale de l'Aviation Civile (ENAC)

Zdroj: RE 2017 IEEE 25th International Requirements Engineering Conference ; https://inria.hal.science/hal-01532781 ; RE 2017 IEEE 25th International Requirements Engineering Conference, Sep 2017, Lisbonne, Portugal. pp.223 - 232, ISBN: 978-1-5386-3192-8, ⟨10.1109/RE.2017.20⟩

Témata: Scenarios, tools, industry, Requirements Engineering, Usability, aeronautics, Index Terms—practices, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SPI.OTHER]Engineering Sciences [physics]/Other

Geografické téma: Lisbonne, Portugal

Dostupnost: https://inria.hal.science/hal-01532781
https://inria.hal.science/hal-01532781v1/document
https://inria.hal.science/hal-01532781v1/file/PID4846195.pdf
https://doi.org/10.1109/RE.2017.20

Der Umgang mit Requirements-Engineering an wissenschaftlichen Bibliotheken ; Dealing with requirements engineering at academic libraries

Autoři: Blumesberger, Susanne orcid:0000-0001-9018-623X

Zdroj: YIS Young Information Scientist, 37-51 (2018)

Témata: Requirements-Engineering, Requirements-Management, Agiles Management, IT project management, requirements engineering, academic library, ÖFOS 2002 -- SOZIALWISSENSCHAFTEN (5) -- Wirtschaftswissenschaften (53) -- Projektmanagement (5364), The ACM Computing Classification System [1998 Version] -- Software (D.) -- SOFTWARE ENGINEERING (D.2) -- Requirements/Specifications (D.2.1) -- Tools (D.2.1.4), ÖFOS 2002 -- SOCIAL SCIENCES (5) -- Economics (53) -- Project management (5364)

Popis souboru: application/pdf

Relation: isPartOf:https://phaidra.univie.ac.at/o:168770[Open Access Collection]; isPartOf:https://phaidra.univie.ac.at/o:424738[Openaire v3.0 collection]; hdl:11353/10.924703; https://phaidra.univie.ac.at/o:924703

Dostupnost: https://phaidra.univie.ac.at/o:924703

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Autoři: Besnard, Loïc Borde, Etienne Dissaux, Pierre a další

Přispěvatelé: Besnard, Loïc Borde, Etienne Dissaux, Pierre a další

Zdroj: https://inria.hal.science/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27.

Témata: embedded!system!design, !formal!semantics!and!analysis, !synchronous!programming, !SAE!standard!AADL!, ACM: I.: Computing Methodologies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Dostupnost: https://inria.hal.science/hal-00970244
https://inria.hal.science/hal-00970244v2/document
https://inria.hal.science/hal-00970244v2/file/RT_446.pdf

Die Bibliothek als agile Organisation: Requirements-Engineering für neue Dienstleistungen

Autoři: Blumesberger, Susanne (Universität Wien) Ramminger, Eva (Universitäts- und Landesbibliothek Innsbruck)

Témata: BIC Standard Subject Categories -- Reference, information & interdisciplinary subjects (G) -- Library & information sciences (GL) -- Library, archive & information management (GLC), The ACM Computing Classification System [1998 Version] -- Software (D.) -- SOFTWARE ENGINEERING (D.2) -- Requirements/Specifications (D.2.1) -- Tools (D.2.1.4), Dewey Decimal Classification -- Computer science, information & general works (0) -- Library & information sciences (02) -- Library & information sciences (020), Dewey Decimal Classification -- Science (5) -- Life sciences, biology (57) -- Natural history of organisms (578), Requirements-Engineering, Requirements-Management, Agiles Management, Dewey-Dezimalklassifikation -- Informatik, Informationswissenschaft, allgemeine Werke (0) -- Bibliotheks- und Informationswissenschaften (02) -- Bibliotheks- und Informationswissenschaften (020), Dewey-Dezimalklassifikation -- Naturwissenschaften und Mathematik (5) -- Biowissenschaften, Biologie (57) -- Naturgeschichte von Organismen (578)

Popis souboru: application/pdf

Relation: isPartOf:https://phaidra.univie.ac.at/o:168770[Open Access Collection]; isPartOf:https://phaidra.univie.ac.at/o:424738[Openaire v3.0 collection]; hdl:11353/10.806415; https://phaidra.univie.ac.at/o:806415

Dostupnost: https://phaidra.univie.ac.at/o:806415

Dealing with requirements engineering at academic libraries

Autoři: Blumesberger, Susanne

Témata: The ACM Computing Classification System [1998 Version] -- Software (D.) -- SOFTWARE ENGINEERING (D.2) -- Requirements/Specifications (D.2.1) -- Tools (D.2.1.4), Requirements-Engineering, Requirements-Management, Agiles Management, ÖFOS 2002 -- SOZIALWISSENSCHAFTEN (5) -- Wirtschaftswissenschaften (53) -- Projektmanagement (5364), IT project management, requirements engineering, academic library, ÖFOS 2002 -- SOCIAL SCIENCES (5) -- Economics (53) -- Project management (5364)

Popis souboru: application/pdf

Přístupová URL adresa: https://phaidra.univie.ac.at/o:924703
https://hdl.handle.net/11353/10.924703

Die Bibliothek als agile Organisation: Requirements-Engineering für neue Dienstleistungen

Autoři: Blumesberger, Susanne Ramminger, Eva

Témata: The ACM Computing Classification System [1998 Version] -- Software (D.) -- SOFTWARE ENGINEERING (D.2) -- Requirements/Specifications (D.2.1) -- Tools (D.2.1.4), Dewey Decimal Classification -- Science (5) -- Life sciences, biology (57) -- Natural history of organisms (578), Requirements-Engineering, Requirements-Management, Agiles Management, Dewey-Dezimalklassifikation -- Informatik, Informationswissenschaft, allgemeine Werke (0) -- Bibliotheks- und Informationswissenschaften (02) -- Bibliotheks- und Informationswissenschaften (020), Dewey-Dezimalklassifikation -- Naturwissenschaften und Mathematik (5) -- Biowissenschaften, Biologie (57) -- Naturgeschichte von Organismen (578), Dewey Decimal Classification -- Computer science, information & general works (0) -- Library & information sciences (02) -- Library & information sciences (020), BIC Standard Subject Categories -- Reference, information & interdisciplinary subjects (G) -- Library & information sciences (GL) -- Library, archive & information management (GLC)

Popis souboru: application/pdf

Přístupová URL adresa: https://phaidra.univie.ac.at/o:806415
https://hdl.handle.net/11353/10.806415

Automatic Verification of Parametric Specifications with Complex Topologies

Autoři: Faber, Johannes Ihlemann, Carsten Jacobs, Swen a další

Přispěvatelé: Faber, Johannes Ihlemann, Carsten Jacobs, Swen a další

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00523033 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1010.1602; inria-00523033; https://hal.inria.fr/inria-00523033; https://hal.inria.fr/inria-00523033/document; https://hal.inria.fr/inria-00523033/file/ifm10-faber-ihlemann-jacobs-sofronie.pdf; ARXIV: 1010.1602

Dostupnost: https://hal.inria.fr/inria-00523033
https://hal.inria.fr/inria-00523033/document
https://hal.inria.fr/inria-00523033/file/ifm10-faber-ihlemann-jacobs-sofronie.pdf

Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles

Autoři: Jacquot, Jean-Pierre Laleau, Régine Mountassir, Hassan a další

Přispěvatelé: Jacquot, Jean-Pierre Laleau, Régine Mountassir, Hassan a další

Zdroj: ISSN: 1265-1397.

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/inria-00565772

Towards a well-founded software component model for cyber-physical control systems

Autoři: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 a další

Přispěvatelé: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 a další

Zdroj: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States ; http://www.ieee-irc.org

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], stat, edu

Geografické téma: Laguna Hills, California, United States

Relation: https://hal.sorbonne-universite.fr/hal-01666652/file/Malenfant.pdf; https://hal.sorbonne-universite.fr/hal-01666652

Dostupnost: https://hal.sorbonne-universite.fr/hal-01666652/file/Malenfant.pdf
https://hal.sorbonne-universite.fr/hal-01666652

Quality Requirements for Service Choreographies

Autoři: Bertolino, Antonia Ciancone, Andrea Bartolini, Cesare a další

Přispěvatelé: Bertolino, Antonia Ciancone, Andrea Bartolini, Cesare a další

Zdroj: WEBIST ; https://hal.inria.fr/hal-00867747 ; WEBIST, Apr 2012, Porto, Portugal. pp.143-148

Témata: Choreography, BPMN, non-functional requirements, MDE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], edu, archi

Geografické téma: Porto, Portugal

Time: Porto, Portugal

Relation: https://hal.inria.fr/hal-00867747

Dostupnost: https://hal.inria.fr/hal-00867747

Modeling and Verification of Real-Time Systems - Formalisms and Software Tools

Autoři: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a další

Přispěvatelé: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a další

Zdroj: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/inria-00187581

Distributed Model-to-Model Transformation with ATL on MapReduce

Autoři: Benelallam, Amine Gómez, Abel Tisi, Massimo a další

Přispěvatelé: Benelallam, Amine Gómez, Abel Tisi, Massimo a další

Zdroj: Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015) ; https://hal.science/hal-01215228 ; Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), Oct 2015, Pittsburgh, United States ; http://www.sleconf.org/2015/

Témata: Model Transformation, Distributed Computing, MapReduce, ATL, Language Engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Pittsburgh, United States

Dostupnost: https://hal.science/hal-01215228
https://hal.science/hal-01215228v1/document
https://hal.science/hal-01215228v1/file/document.pdf

Reverse Engineering User Interfaces for Interactive Database Conceptual Analysis

Autoři: Ramdoyal, Ravi Cleve, Anthony Hainaut, Jean-Luc a další

Přispěvatelé: Ramdoyal, Ravi Cleve, Anthony Hainaut, Jean-Luc a další

Zdroj: 22nd International Conference on Advanced Information Systems Engineering (CAiSE'2010)
https://inria.hal.science/inria-00456994
22nd International Conference on Advanced Information Systems Engineering (CAiSE'2010), Jun 2010, Hammamet, Tunisia. pp.332-347

Témata: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.9: Prototyping, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Geografické téma: Hammamet, Tunisia

Dostupnost: https://inria.hal.science/inria-00456994

Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation

Autoři: Blouin, Arnaud Morin, Brice Beaudoux, Olivier a další

Přispěvatelé: Blouin, Arnaud Morin, Brice Beaudoux, Olivier a další

Zdroj: ACM SIGCHI Symposium on Engineering Interactive Computing Systems ; https://inria.hal.science/inria-00590891 ; ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, ⟨10.1145/1996461.1996500⟩

Témata: MDE, user interface, context, adaptation, aspect, runtime, malai, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Pise, Italy

Dostupnost: https://inria.hal.science/inria-00590891
https://inria.hal.science/inria-00590891/document
https://inria.hal.science/inria-00590891/file/main.pdf
https://doi.org/10.1145/1996461.1996500

Using Domain Features to Handle Feature Interactions

Autoři: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés a další

Přispěvatelé: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés a další

Zdroj: Variability Modelling Software-Intensive Systems (VAMOS) ; https://inria.hal.science/hal-00653044 ; Variability Modelling Software-Intensive Systems (VAMOS), Ulrich Eisenecker, University of Leipzig, DE, Jan 2012, Leipzig, Germany. pp.101-110

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Leipzig, Germany

Dostupnost: https://inria.hal.science/hal-00653044
https://inria.hal.science/hal-00653044v1/document
https://inria.hal.science/hal-00653044v1/file/main.pdf

An Event-B Approach to Data Sharing Agreements

Autoři: E. Arenas, Alvaro Aziz, Benjamin Bicarregui, Juan a další

Přispěvatelé: E. Arenas, Alvaro Aziz, Benjamin Bicarregui, Juan a další

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525098 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.28-42

Témata: Data Sharing Agreements, Contract Management, Obligations, Event-B, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], edu, manag

Geografické téma: Nancy, France

Relation: https://hal.inria.fr/inria-00525098

Dostupnost: https://hal.inria.fr/inria-00525098

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Autoři: Samih, Hamza Acher, Mathieu Bogusch, Ralf a další

Přispěvatelé: Samih, Hamza Acher, Mathieu Bogusch, Ralf a další

Zdroj: 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)
https://inria.hal.science/hal-01002099
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China

Témata: Usage Model, Product Line, Orthogonal Variability Model, Requirements, Model-based Testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Geografické téma: Tianjin, China

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

Dostupnost: https://inria.hal.science/hal-01002099
https://inria.hal.science/hal-01002099v1/document
https://inria.hal.science/hal-01002099v1/file/Deriving_Usage_Model_Variants_for_Model_based_Testing_An_Industrial_Case_Study.pdf