Suchergebnisse - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.3: Tools

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

Autoren: Alférez, Mauricio Lopez-Herrejon, Roberto Erick Moreira, Ana et al.

Weitere Verfasser: Alférez, Mauricio Lopez-Herrejon, Roberto Erick Moreira, Ana et al.

Quelle: ISSN: 0948-695X.

Schlagwörter: 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]

Verfügbarkeit: 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

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

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

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

Quelle: 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⟩

Schlagwörter: 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

Geographisches Schlagwort: Lisbonne, Portugal

Verfügbarkeit: 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

Autoren: Blumesberger, Susanne orcid:0000-0001-9018-623X

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

Schlagwörter: 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)

Dateibeschreibung: 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

Verfügbarkeit: 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)

Autoren: Besnard, Loïc Borde, Etienne Dissaux, Pierre et al.

Weitere Verfasser: Besnard, Loïc Borde, Etienne Dissaux, Pierre et al.

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

Schlagwörter: 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]

Verfügbarkeit: 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

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

Schlagwörter: 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)

Dateibeschreibung: 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

Verfügbarkeit: https://phaidra.univie.ac.at/o:806415

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

Autoren: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) et al.

Weitere Verfasser: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) et al.

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

Schlagwörter: 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]

Verfügbarkeit: https://inria.hal.science/inria-00187581

Dealing with requirements engineering at academic libraries

Autoren: Blumesberger, Susanne

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Blumesberger, Susanne Ramminger, Eva

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: https://phaidra.univie.ac.at/o:806415
https://hdl.handle.net/11353/10.806415

Automatic Verification of Parametric Specifications with Complex Topologies

Autoren: Faber, Johannes Ihlemann, Carsten Jacobs, Swen et al.

Weitere Verfasser: Faber, Johannes Ihlemann, Carsten Jacobs, Swen et al.

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

Schlagwörter: 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]

Geographisches Schlagwort: 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

Verfügbarkeit: 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

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

Autoren: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 et al.

Weitere Verfasser: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 et al.

Quelle: 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

Schlagwörter: 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

Geographisches Schlagwort: Laguna Hills, California, United States

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

Verfügbarkeit: https://hal.sorbonne-universite.fr/hal-01666652/file/Malenfant.pdf
https://hal.sorbonne-universite.fr/hal-01666652

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

Autoren: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo et al.

Weitere Verfasser: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo et al.

Quelle: 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

Schlagwörter: 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

Geographisches Schlagwort: Cape Town, South Africa

Time: Cape Town, South Africa

Verfügbarkeit: 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

Using Domain Features to Handle Feature Interactions

Autoren: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés et al.

Weitere Verfasser: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés et al.

Quelle: 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

Schlagwörter: 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]

Geographisches Schlagwort: Leipzig, Germany

Verfügbarkeit: 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

Autoren: E. Arenas, Alvaro Aziz, Benjamin Bicarregui, Juan et al.

Weitere Verfasser: E. Arenas, Alvaro Aziz, Benjamin Bicarregui, Juan et al.

Quelle: 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

Schlagwörter: 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

Geographisches Schlagwort: Nancy, France

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

Verfügbarkeit: https://hal.inria.fr/inria-00525098

A CSP Approach to Control in Event-B

Autoren: Schneider, Steve Treharne, Helen Wehrheim, Heike et al.

Weitere Verfasser: Schneider, Steve Treharne, Helen Wehrheim, Heike et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524603 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.260-274

Schlagwörter: CSP, Event-B, Control flow, Method integration, 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

Geographisches Schlagwort: Nancy, France

Relation: https://hal.inria.fr/inria-00524603/file/schneiderIFM2010-long260.pdf; https://hal.inria.fr/inria-00524603

Verfügbarkeit: https://hal.inria.fr/inria-00524603/file/schneiderIFM2010-long260.pdf
https://hal.inria.fr/inria-00524603

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

Autoren: Fitzgerald, John Gorm Larsen, Peter Pierce, Ken et al.

Weitere Verfasser: Fitzgerald, John Gorm Larsen, Peter Pierce, Ken et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524759 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.12-26

Schlagwörter: embedded systems, dependability, collaborative modelling, co-simulation, VDM, bond graph, 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]

Geographisches Schlagwort: Nancy, France

Relation: inria-00524759; https://hal.inria.fr/inria-00524759; https://hal.inria.fr/inria-00524759/document; https://hal.inria.fr/inria-00524759/file/IFM2010invited_012.pdf

Verfügbarkeit: https://hal.inria.fr/inria-00524759
https://hal.inria.fr/inria-00524759/document
https://hal.inria.fr/inria-00524759/file/IFM2010invited_012.pdf

Translating Pi-Calculus into LOTOS NT

Autoren: Mateescu, Radu Salaün, Gwen System validation - Research and applications (VASY) et al.

Weitere Verfasser: Mateescu, Radu Salaün, Gwen System validation - Research and applications (VASY) et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244

Schlagwörter: pi-calculus, process algebra, LOTOS NT, labeled transition system, verification, 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]

Geographisches Schlagwort: Nancy, France

Verfügbarkeit: https://inria.hal.science/inria-00524586
https://inria.hal.science/inria-00524586/document
https://inria.hal.science/inria-00524586/file/main229.pdf

Verification Architectures: Compositional Reasoning for Real-time Systems

Autoren: Faber, Johannes Department of Computing Science Oldenburg University of Oldenburg et al.

Weitere Verfasser: Faber, Johannes Department of Computing Science Oldenburg University of Oldenburg et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167

Schlagwörter: Compositional Verification, Real-Time System, Sequent calculus, CSP, Object-Z, Duration Calculus, 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]

Geographisches Schlagwort: Nancy, France

Relation: inria-00525132; https://hal.inria.fr/inria-00525132

Verfügbarkeit: https://hal.inria.fr/inria-00525132

Critical systems development methodology using formal techniques

Autoren: Méry, Dominique Singh, Neeraj Kumar Proof-oriented development of computer-based systems (MOSEL) et al.

Weitere Verfasser: Méry, Dominique Singh, Neeraj Kumar Proof-oriented development of computer-based systems (MOSEL) et al.

Quelle: 3rd International Symposium on Information and Communication Technology - SoICT 2012
https://inria.hal.science/hal-00747305
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩

Schlagwörter: certification, formal methods, formal specification, proof-based development, software engineering, verification and validation, 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, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Ha Long, Vietnam

Verfügbarkeit: https://inria.hal.science/hal-00747305
https://doi.org/10.1145/2350716.2350720

Programming with Miracles

Autoren: Joshi, Rajeev Laboratory for Reliable Software JPL Jet Propulsion Laboratory (JPL) et al.

Weitere Verfasser: Joshi, Rajeev Laboratory for Reliable Software JPL Jet Propulsion Laboratory (JPL) et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524770 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.27

Schlagwörter: program semantics, specification language, testing, miracle, 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]

Geographisches Schlagwort: Nancy, France

Relation: inria-00524770; https://hal.inria.fr/inria-00524770

Verfügbarkeit: https://hal.inria.fr/inria-00524770

Creating sequential programs from Event-B models

Autoren: Boström, Pontus Department of Information technology Åbo Academy University et al.

Weitere Verfasser: Boström, Pontus Department of Information technology Åbo Academy University et al.

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

Schlagwörter: Event-B, Refinement, Set Transformers, Control Flow, Program Generation, 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]

Geographisches Schlagwort: Nancy, France

Relation: inria-00522651; https://hal.inria.fr/inria-00522651

Verfügbarkeit: https://hal.inria.fr/inria-00522651