Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications"
-
1
Autoři: a další
Přispěvatelé: 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]
Geografické téma: Laguna Hills, California, United States
-
2
Autoři:
Přispěvatelé:
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
-
3
Autoři: a další
Přispěvatelé: 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
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Brazilian Symposium on Formal Methods ; https://hal.science/hal-01206625 ; Brazilian Symposium on Formal Methods, Sep 2015, Belo Horizonte, Brazil. ⟨10.1007/978-3-319-29473-5_4⟩
Témata: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.10: Temporal logic, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Belo Horizonte, Brazil
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, ItalyTémata: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science
Time: Florence, Italy
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT
-
6
Autoři: a další
Přispěvatelé: 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, ChinaTé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
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: The 10th International Symposium on Formal Aspects of Component Software ; https://inria.hal.science/hal-00916115 ; The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China
Témata: 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, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, 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.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, 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, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
9
Autoři: a další
Přispěvatelé: 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]
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144
Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm .org/doi/10.1145/1806799.1806823 -
11
Autoři: a další
Přispěvatelé: 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]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: 8th International Conference on Integrated Formal Methods - IFM 2010
https://inria.hal.science/inria-00524535
8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.89-104Témata: collaborative editors, operational transformation, difference bound matrices, symbolic model checking, convergence property, 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]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524630 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.1-11
Témata: model checking, randomized distributed system, Markov decision process, partial-information scheduler, 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]
Relation: inria-00524630; https://inria.hal.science/inria-00524630; https://inria.hal.science/inria-00524630/document; https://inria.hal.science/inria-00524630/file/ifm10_001.pdf
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524597 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.305-319
Témata: Memory management, type-based analysis, formal certificates, proof assistants, 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]
Relation: inria-00524597; https://hal.inria.fr/inria-00524597; https://hal.inria.fr/inria-00524597/document; https://hal.inria.fr/inria-00524597/file/main306.pdf
-
16
Autoři: a další
Přispěvatelé: 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]
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
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524575 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.105-120
Témata: Real-Time System, Pervasive Verification, Application Program, C Code Verification, Isabelle/HOL, 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]
Relation: inria-00524575; https://hal.inria.fr/inria-00524575; https://hal.inria.fr/inria-00524575/document; https://hal.inria.fr/inria-00524575/file/libolos104.pdf
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524594 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.275-289
Témata: Event-B, refinement, control system, reliability, probability, 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]
Relation: inria-00524594; https://hal.inria.fr/inria-00524594; https://hal.inria.fr/inria-00524594/document; https://hal.inria.fr/inria-00524594/file/ifm2010276.pdf
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
Relation: inria-00524603; https://hal.inria.fr/inria-00524603; https://hal.inria.fr/inria-00524603/document; https://hal.inria.fr/inria-00524603/file/schneiderIFM2010-long260.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
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
Nájsť tento článok vo Web of Science