標(biāo)題: Titlebook: Computational Artifacts; Towards a Philosophy Raymond Turner Book 2018 Springer-Verlag GmbH Germany, part of Springer Nature 2018 Philosoph [打印本頁(yè)] 作者: Autonomous 時(shí)間: 2025-3-21 18:45
書(shū)目名稱(chēng)Computational Artifacts影響因子(影響力)
作者: 盡忠 時(shí)間: 2025-3-21 22:16
https://doi.org/10.1007/978-3-319-27252-8gy [75] stand to their respective disciplines. These are instances of what Stuart Shapiro [215] ., and any philosophical investigation of such subjects must begin with some discussion of the discipline itself. In particular, it must aim to expose its subject matter, uncover its core activities, and draw out its distinctive features.作者: 土產(chǎn) 時(shí)間: 2025-3-22 00:41 作者: Asparagus 時(shí)間: 2025-3-22 06:58 作者: 率直 時(shí)間: 2025-3-22 11:55
Physics and Chemistry of Materials with Anot compute by hand; without an implementation, there would be no mechanical computation. These three ingredients, syntax, semantics, and implementation, are all necessary, and work together to define a programming language.作者: Feckless 時(shí)間: 2025-3-22 13:25
Unified Limit Analysis of a Wellbore,51, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and denotational approaches.作者: Feckless 時(shí)間: 2025-3-22 17:30
Maohong Yu,Jianchun Li,Guowei Maementations are often separated into phases involving syntax analysis, compilation, and interpretation [8], and involve layers of translation before a concrete representation is reached through direct interpretation.作者: 商品 時(shí)間: 2025-3-23 00:35 作者: 慢慢啃 時(shí)間: 2025-3-23 03:52 作者: Alcove 時(shí)間: 2025-3-23 06:55
https://doi.org/10.1007/978-3-030-03270-8Technical artifacts are taken to include all the common objects of everyday life, such as chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material objects, the engineered things of world that have been intentionally produced by humans in order to fulfill a practical function.作者: Indebted 時(shí)間: 2025-3-23 10:50 作者: affinity 時(shí)間: 2025-3-23 16:53 作者: frenzy 時(shí)間: 2025-3-23 19:47 作者: CRACY 時(shí)間: 2025-3-23 22:53
Dynamic Plastic Response of Circular Plate,In this chapter, we consider the nature and methodological concerns of requirements elicitation and speci_cation. These activities raise a collection of overlapping conceptual questions and problems [235].作者: 狂熱文化 時(shí)間: 2025-3-24 04:34
Computational ArtifactsTechnical artifacts are taken to include all the common objects of everyday life, such as chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material objects, the engineered things of world that have been intentionally produced by humans in order to fulfill a practical function.作者: Carcinogen 時(shí)間: 2025-3-24 09:00 作者: 過(guò)份好問(wèn) 時(shí)間: 2025-3-24 12:47 作者: MOTTO 時(shí)間: 2025-3-24 18:04
Software Systems as Technical ArtifactsOur institutions and organizational structures, whether in government, commerce, industry, or education, are underpinned and controlled by software systems. So are our laptops, televisions, cars, and mobile phones. In this chapter we present a conceptualization of them as technical artifacts.作者: 結(jié)束 時(shí)間: 2025-3-24 20:34
SpecificationIn this chapter, we consider the nature and methodological concerns of requirements elicitation and speci_cation. These activities raise a collection of overlapping conceptual questions and problems [235].作者: 騙子 時(shí)間: 2025-3-25 00:49 作者: 陰謀 時(shí)間: 2025-3-25 04:41
http://image.papertrans.cn/c/image/232111.jpg作者: SYN 時(shí)間: 2025-3-25 08:19
https://doi.org/10.1007/978-3-319-27252-8gy [75] stand to their respective disciplines. These are instances of what Stuart Shapiro [215] ., and any philosophical investigation of such subjects must begin with some discussion of the discipline itself. In particular, it must aim to expose its subject matter, uncover its core activities, and 作者: 防御 時(shí)間: 2025-3-25 12:37
Learning Exact Graph Edit Distanceformal languages of the discipline somehow govern the subject’s ontology. Consequently, some attention must be given to the nature of these semantic accounts, and how they fix or contribute to the kinds of entity dealt with. Furthermore, any statement of the goals of computer science will highlight 作者: 無(wú)法取消 時(shí)間: 2025-3-25 16:50 作者: 機(jī)制 時(shí)間: 2025-3-26 00:01
Physics and Chemistry of Materials with Ae a guide to their definitions, and their containing paradigms. This will serve as background to one of the main objectives of this section of the book, namely to explore the semantic issues that surround programming languages.作者: 泥土謙卑 時(shí)間: 2025-3-26 02:19 作者: canvass 時(shí)間: 2025-3-26 05:13
Unified Limit Analysis of a Wellbore,51, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and 作者: 刻苦讀書(shū) 時(shí)間: 2025-3-26 10:19 作者: Outmoded 時(shí)間: 2025-3-26 16:27 作者: maladorit 時(shí)間: 2025-3-26 18:29
Plastic Limit Analysis of Pressure Vessels, before the advent of the computer. Libraries have always issued books, and banks have always taken our money. But, with the advent of the computer, these systems have been modeled in software. Indeed, the latter models are not just computational models of existing physical systems, but have been di作者: Dysarthria 時(shí)間: 2025-3-26 23:30 作者: 不要嚴(yán)酷 時(shí)間: 2025-3-27 03:11
https://doi.org/10.1007/978-3-662-55565-1Philosophy of Computer Science; Ontology; Computational Artifacts; Logic Machines; Software Systems; Sema作者: BRACE 時(shí)間: 2025-3-27 08:26
978-3-662-58559-7Springer-Verlag GmbH Germany, part of Springer Nature 2018作者: KIN 時(shí)間: 2025-3-27 13:09 作者: evaculate 時(shí)間: 2025-3-27 13:41 作者: airborne 時(shí)間: 2025-3-27 18:27
Programming Languagese a guide to their definitions, and their containing paradigms. This will serve as background to one of the main objectives of this section of the book, namely to explore the semantic issues that surround programming languages.作者: 揭穿真相 時(shí)間: 2025-3-28 01:20 作者: Ingenuity 時(shí)間: 2025-3-28 06:01
Formal Semantics51, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and denotational approaches.作者: nuclear-tests 時(shí)間: 2025-3-28 07:42
Semantics and Implementationementations are often separated into phases involving syntax analysis, compilation, and interpretation [8], and involve layers of translation before a concrete representation is reached through direct interpretation.作者: buoyant 時(shí)間: 2025-3-28 13:54
Specification Languagesa host of languages and formalisms. These range from the vernacular through to specialized specification languages. Some of them are graphical in content (e.g., portions of UML), and many others are based upon some logical notation. There are also algebraic approaches that employ algebraic or model-theoretic structures.作者: Compass 時(shí)間: 2025-3-28 18:38
Software System Methodology before the advent of the computer. Libraries have always issued books, and banks have always taken our money. But, with the advent of the computer, these systems have been modeled in software. Indeed, the latter models are not just computational models of existing physical systems, but have been digitally enhanced and enriched.作者: Verify 時(shí)間: 2025-3-28 21:31 作者: 割讓 時(shí)間: 2025-3-29 01:17 作者: 闖入 時(shí)間: 2025-3-29 06:05
The Languages of Computer Scienceof their distinctive features. Artificial languages are employed for programming, specification, and architectural and hardware description. They are the vehicles for the expression of their functional and structural requirements.作者: 珊瑚 時(shí)間: 2025-3-29 07:36
Programming Languagese a guide to their definitions, and their containing paradigms. This will serve as background to one of the main objectives of this section of the book, namely to explore the semantic issues that surround programming languages.作者: gerontocracy 時(shí)間: 2025-3-29 12:39
Semantic Theoriesnot compute by hand; without an implementation, there would be no mechanical computation. These three ingredients, syntax, semantics, and implementation, are all necessary, and work together to define a programming language.作者: zonules 時(shí)間: 2025-3-29 16:40 作者: 骯臟 時(shí)間: 2025-3-29 20:00
Semantics and Implementationementations are often separated into phases involving syntax analysis, compilation, and interpretation [8], and involve layers of translation before a concrete representation is reached through direct interpretation.作者: 休息 時(shí)間: 2025-3-30 01:03 作者: Nebulizer 時(shí)間: 2025-3-30 06:53
Software System Methodology before the advent of the computer. Libraries have always issued books, and banks have always taken our money. But, with the advent of the computer, these systems have been modeled in software. Indeed, the latter models are not just computational models of existing physical systems, but have been di作者: 考博 時(shí)間: 2025-3-30 12:04 作者: tenuous 時(shí)間: 2025-3-30 15:20
Book 2018ence. This book presents an approach to the subject that is centered upon the notion of .computational artefact.. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy作者: 卡死偷電 時(shí)間: 2025-3-30 18:16 作者: 機(jī)密 時(shí)間: 2025-3-30 21:38 作者: Blazon 時(shí)間: 2025-3-31 04:25
Towards a Philosophy of Computer Scienceits methods of reaching those goals, its methodology. This will bring to the fore its claims to knowledge, its epistemology. And, while addressing these issues, we must assess if computer science raises any distinctive philosophical concerns.作者: 外露 時(shí)間: 2025-3-31 08:04
