Search Results - acm: d.: software/d.2: software engineering/d.2.0: general/d.2.0.1: standard

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

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

Subject Terms: 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)

File Description: 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

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

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

Authors: Blumesberger, Susanne Ramminger, Eva

Subject Terms: 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)

File Description: application/pdf

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

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Authors: Okunola, Abiodun

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

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

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

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

Subject Terms: 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

Subject Geographic: Cape Town, South Africa

Time: Cape Town, South Africa

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

Non-Functional Analysis of Service Choreographies

Authors: Bartolini, Cesare Bertolino, Antonia Ciancone, Andrea et al.

Contributors: Bartolini, Cesare Bertolino, Antonia Ciancone, Andrea et al.

Source: Proc. of the 4th International Workshop on Principles of Engineering Service Oriented Systems (PESOS 2012) ; https://hal.inria.fr/hal-00867757 ; Proc. of the 4th International Workshop on Principles of Engineering Service Oriented Systems (PESOS 2012), Jun 2012, Zurich, Switzerland. pp.8-14, ⟨10.1109/PESOS.2012.6225947⟩

Subject Terms: Service Choreography, BPMN, non-functional requirements, KLAPER, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], edu, info

Subject Geographic: Zurich, Switzerland

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

Availability: https://hal.inria.fr/hal-00867757

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

Authors: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis et al.

Contributors: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis et al.

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

Subject Terms: 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

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

The NumPy array: a structure for efficient numerical computation

Authors: van Der Walt, Stefan Colbert, S. Chris Varoquaux, Gaël et al.

Contributors: van Der Walt, Stefan Colbert, S. Chris Varoquaux, Gaël et al.

Source: ISSN: 1521-9615.

Subject Terms: Python, scientific computing, array, ACM: E.: Data/E.1: DATA STRUCTURES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.6: Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1102.1523; ARXIV: 1102.1523

Availability: https://inria.hal.science/inria-00564007
https://inria.hal.science/inria-00564007v1/document
https://inria.hal.science/inria-00564007v1/file/numpy_final.pdf
https://doi.org/10.1109/MCSE.2011.37

Refactoring Using Type Constraints

Authors: Frank Tip Robert M. Fuhrer ADAM KIEZUN et al.

Contributors: Frank Tip Robert M. Fuhrer ADAM KIEZUN et al.

Source: http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, program editors, D.2.6 [Software Engineering, Programming Environments— Interactive environments, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement— Restructuring, reverse engineering, and reengineering, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Refactoring, type constraints, program transformation ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1082

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1082
http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf

acm news.

Source: Communications of the ACM; Sep75, Vol. 18 Issue 9, p547-548, 2p

Subject Terms: AWARDS, SPECIAL interest groups (Associations), SOFTWARE engineering

Company/Entity: ASSOCIATION for Computing Machinery

People: CUNNINGHAM, Joseph, WEINSTEIN, Sidney

STEP-based CASE Tools cooperation

Authors: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Contributors: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Source: ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000) ; https://hal.univ-brest.fr/hal-01450904 ; ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000), Jun 2000, Limerick, Ireland ; http://dl.acm.org/citation.cfm?id=302969

Subject Terms: EXPRESS, SDAI, STEP standard, CASE tools implementation, CASE tools interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Limerick, Ireland

Availability: https://hal.univ-brest.fr/hal-01450904
https://hal.univ-brest.fr/hal-01450904v1/document
https://hal.univ-brest.fr/hal-01450904v1/file/COSET00.pdf

Standard output streams default behavior in terminal sessions

Authors: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Contributors: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Source: https://hal.archives-ouvertes.fr/hal-01542915 ; 2012.

Subject Terms: Common Lisp, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General/D.3.0.0: Standards, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs]

Relation: hal-01542915; https://hal.archives-ouvertes.fr/hal-01542915; https://hal.archives-ouvertes.fr/hal-01542915/document; https://hal.archives-ouvertes.fr/hal-01542915/file/verna.12.cdr11.pdf

Availability: https://hal.archives-ouvertes.fr/hal-01542915
https://hal.archives-ouvertes.fr/hal-01542915/document
https://hal.archives-ouvertes.fr/hal-01542915/file/verna.12.cdr11.pdf

Compositional Verification of Software Product Lines

Authors: Millo, Jean-Vivien Ramesh, S. Krishna, Shankara, Narayanan et al.

Contributors: Millo, Jean-Vivien Ramesh, S. Krishna, Shankara, Narayanan et al.

Source: iFM 2013 - 10th International Conference on integrated Formal Methods ; https://inria.hal.science/hal-00799108 ; iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Turku, Finland

Availability: https://inria.hal.science/hal-00799108
https://doi.org/10.1007/978-3-642-38613-8_8

The STEP standard as an approach for design and prototyping

Authors: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Contributors: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Source: Ninth International Workshop on Rapid System Prototyping (RSP 1998) ; https://hal.univ-brest.fr/hal-01450879 ; Ninth International Workshop on Rapid System Prototyping (RSP 1998), May 1998, Leuwen, Belgium. pp.89 - 94, ⟨10.1109/IWRSP.1998.676674⟩

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Leuwen, Belgium

Availability: https://hal.univ-brest.fr/hal-01450879
https://hal.univ-brest.fr/hal-01450879v1/document
https://hal.univ-brest.fr/hal-01450879v1/file/RSP98.pdf
https://doi.org/10.1109/IWRSP.1998.676674

Teaching Software Product Lines: A Snapshot of Current Practices and Challenges

Authors: Acher, Mathieu Lopez-Herrejon, Roberto Erick Rabiser, Rick et al.

Contributors: Acher, Mathieu Lopez-Herrejon, Roberto Erick Rabiser, Rick et al.

Source: ISSN: 1531-4278 ; ACM Transactions of Computing Education ; https://inria.hal.science/hal-01522779 ; ACM Transactions of Computing Education, 2017.

Subject Terms: Software Engineering Teaching, Variability Modeling, Software Product Line Teaching, General and reference → Surveys and overviews, Social and professional topics → Computing education, Applied computing → Education, Software and its engineering → Software product lines, Software Product Lines, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Availability: https://inria.hal.science/hal-01522779
https://inria.hal.science/hal-01522779v1/document
https://inria.hal.science/hal-01522779v1/file/TOCE.pdf

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

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

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

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

Subject Terms: 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]

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

Which similarity metric to use for software documents?

Authors: Rahman, Md Masudur Chakraborty, Saikat Ray, Baishakhi

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p335-336, 2p

Subject Terms: SOFTWARE engineering, SOFTWARE documentation, INFORMATION retrieval, MALWARE, COMPUTER software

Success and Failure in Software Engineering: A Followup Systematic Literature Review.

Authors: Tamburri, Damian A. Palomba, Fabio Kazman, Rick

Source: IEEE Transactions on Engineering Management; Apr2021, Vol. 68 Issue 2, p599-611, 13p

Subject Terms: SOFTWARE failures, SOFTWARE engineering, SOFTWARE measurement, SUCCESS

Geographic Terms: EUROPE

Clarification Proposal for CLHS Section 22.3

Authors: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Contributors: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Source: https://hal.archives-ouvertes.fr/hal-01548425 ; 2011.

Subject Terms: Common Lisp Standard, Formatted Output, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO]Computer Science [cs]

Relation: hal-01548425; https://hal.archives-ouvertes.fr/hal-01548425; https://hal.archives-ouvertes.fr/hal-01548425/document; https://hal.archives-ouvertes.fr/hal-01548425/file/verna.11.cdr7.pdf

Availability: https://hal.archives-ouvertes.fr/hal-01548425
https://hal.archives-ouvertes.fr/hal-01548425/document
https://hal.archives-ouvertes.fr/hal-01548425/file/verna.11.cdr7.pdf

4^th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015).

Authors: Ralph, Paul Engels, Gregor Jacobson, Ivar et al.

Source: ICSE: International Conference on Software Engineering; 2015, p983-984, 2p

Subject Terms: SOFTWARE engineering, ADULT education workshops, SOFTWARE productivity, COMPUTER software, COMPUTER-aided software engineering

On formal methods for certifying floating-point C programs

Authors: Ayad, Ali Laboratoire de Recherche en Informatique (LRI) Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS) et al.

Contributors: Ayad, Ali Laboratoire de Recherche en Informatique (LRI) Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS) et al.

Source: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34.

Subject Terms: static analysis of programs, formal methods, deductive verification, automatic theorem provers, interactive proof assistants, floating-point arithmetic, IEEE-754 standard, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.5: Programming by contract, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.4: Pre- and post-conditions, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/inria-00383793
https://inria.hal.science/inria-00383793v1/document
https://inria.hal.science/inria-00383793v1/file/RR-6927.pdf