標題: Titlebook: Relating Software Requirements and Architectures; Paris Avgeriou,John Grundy,Ivan Mistrík Book 2011 Springer-Verlag Berlin Heidelberg 2011 [打印本頁] 作者: trace-mineral 時間: 2025-3-21 17:23
書目名稱Relating Software Requirements and Architectures影響因子(影響力)
書目名稱Relating Software Requirements and Architectures影響因子(影響力)學科排名
書目名稱Relating Software Requirements and Architectures網絡公開度
書目名稱Relating Software Requirements and Architectures網絡公開度學科排名
書目名稱Relating Software Requirements and Architectures被引頻次
書目名稱Relating Software Requirements and Architectures被引頻次學科排名
書目名稱Relating Software Requirements and Architectures年度引用
書目名稱Relating Software Requirements and Architectures年度引用學科排名
書目名稱Relating Software Requirements and Architectures讀者反饋
書目名稱Relating Software Requirements and Architectures讀者反饋學科排名
作者: braggadocio 時間: 2025-3-21 20:48 作者: 領帶 時間: 2025-3-22 02:03 作者: Postmenopause 時間: 2025-3-22 06:44
A Reference Architecture for Consumer Electronics Products and its Application in Requirements Engin to be readily adopted. The architecture is informed by information mined from previous developments and organised to be reusable in different contexts. The interplay between the roles of requirements engineer and architect, mediated through the reference architecture, is described and illustrated w作者: absolve 時間: 2025-3-22 10:58
Using Model-Driven Views and Trace Links to Relate Requirements and Architecture: A Case Studyased approach is appropriate in the context of the case. This question is generally relevant, as the case is applicable to many other problem of requirements that are hard to specify formally (like the compliance requirements) in other business cases. To this end, we will present lessons learned as 作者: 啞劇 時間: 2025-3-22 16:26
Book 2011ddresses the issue of requirements change management in architectural design through traceability and reasoning. Part 2 “Tools and Techniques” presents approaches, tools, and techniques for bridging the gap between software requirements and architecture. Part 3 “Industrial Case Studies” then reports作者: 緯線 時間: 2025-3-22 20:45 作者: 2否定 時間: 2025-3-22 23:25
It is especially to be noted hat within the phenomenological movement unique and creative suggestions appear regarding the nature and foundation of social reality and human community.. Likewise phenomenology is receiving increased attention from social scientists for, since Husserl’s analysis of th作者: Landlocked 時間: 2025-3-23 01:29
Antony Tang,Peng Liang,Viktor Clerc,Hans van Vlietal account of how we know, or what entitles us to accept, the mathematical theories we do accept. Since such an account cannot very well be attempted without adopting some view about the nature of the entities of which the mathematical theories treat, this is likely to involve broadly metaphysical q作者: obsolete 時間: 2025-3-23 07:27
Inah Omoronyia,Guttorm Sindre,Stefan Biffl,Tor St?lhaneok is that some of its contributions are of a more philosophical, others of a more technical nature. This double face is emphasized, since foundations of mathematics is an eminent topic in the philosophy of mathematics: hence both sides of this discipline ought to be and are being paid due to..作者: SEVER 時間: 2025-3-23 13:46
al account of how we know, or what entitles us to accept, the mathematical theories we do accept. Since such an account cannot very well be attempted without adopting some view about the nature of the entities of which the mathematical theories treat, this is likely to involve broadly metaphysical q作者: 火光在搖曳 時間: 2025-3-23 16:06 作者: 極肥胖 時間: 2025-3-23 20:46 作者: 憤慨點吧 時間: 2025-3-24 01:26
Len Bass,Paul Clementslities we can use in the types for the proof nets of a subsystem is arbitrary. . is also .. This means that every box, associated to some modality, in a proof net of a subsystem can never be opened. So, inside ., we preserve . which, we recall, is the main structural proof theoretic principle that m作者: Glycogen 時間: 2025-3-24 04:14 作者: jettison 時間: 2025-3-24 06:58
P. Avgeriou,J. Grundy,J. Hall,P. Lago,I. Mistríkg on XCore architectures, but is general enough to be applied to other languages. Experimental results show that our LLVM IR level analysis is reasonably accurate (less than . average error vs. hardware measurements) and more powerful than analysis at the ISA level. This paper provides insights into作者: 紅潤 時間: 2025-3-24 11:01
Tim Trew,Goetz Botterweck,Bashar Nuseibehr some intervals but disproved for others. After an overview of the approach, in this paper we provide a number of novel contributions: we present a more complete formalization and we report on and provide results from an implementation within the Ciao/CiaoPP?framework (which provides a general, uni作者: 一美元 時間: 2025-3-24 15:22 作者: 上漲 時間: 2025-3-24 19:15
Lawrence Chung,Sam Supakkul,Nary Subramanian,José Luis Garrido,Manuel Noguera,Maria V. Hurtado,Maríaal nature. This double face is emphasized, since foundations of mathematics is an eminent topic in the philosophy of mathematics: hence both sides of this discipline ought to be and are being paid due to..978-94-007-3561-3978-94-007-0431-2Series ISSN 1566-659X Series E-ISSN 2215-1974 作者: PUT 時間: 2025-3-25 02:05
ability and reasoning. Part 2 “Tools and Techniques” presents approaches, tools, and techniques for bridging the gap between software requirements and architecture. Part 3 “Industrial Case Studies” then reports978-3-642-43242-2978-3-642-21001-3作者: 陳列 時間: 2025-3-25 05:52
J. G. Hall,J. Grundy,I. Mistrik,P. Lago,P. Avgeriou作者: 古老 時間: 2025-3-25 08:20 作者: 向外 時間: 2025-3-25 13:08 作者: Lobotomy 時間: 2025-3-25 17:20 作者: ungainly 時間: 2025-3-25 22:50 作者: 土產 時間: 2025-3-26 03:56 作者: HAIL 時間: 2025-3-26 06:50 作者: 多山 時間: 2025-3-26 12:19
peace as social phenomena have been a daily concern.. Furthermore, the philosophical or ontological status of politics has been equally neglected in spite of a plenitude of proposals within political theory regarding the foundations of government and suggestions for the organization of society, whic作者: LUMEN 時間: 2025-3-26 14:37 作者: Cultivate 時間: 2025-3-26 18:11
Inah Omoronyia,Guttorm Sindre,Stefan Biffl,Tor St?lhaneality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational theories of classical mathematics of a different nature 作者: MIRTH 時間: 2025-3-26 22:47 作者: HAIRY 時間: 2025-3-27 01:28
P. Lago,P. Avgeriou,J. Grundy,J. Hall,I. Mistríkrhaps unified by their jointly constituting an acceptable axiomatization of some concept or concepts plausibly taken as fundamental—from which all, or at least a very large part of, mathematics can be derived. In this sense, some version of set theory is plausibly taken as a foundational. But one ma作者: 慢慢流出 時間: 2025-3-27 06:18
Lawrence Chung,Sam Supakkul,Nary Subramanian,José Luis Garrido,Manuel Noguera,Maria V. Hurtado,Maríaent of the subject.An extensive philosophical reflection on .The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundat作者: 猛烈責罵 時間: 2025-3-27 12:35
Luciano Baresi,Liliana Pasqualebound, a lower-bound, or the average-case cost. Motivated by the existence of a number of automatic cost analyzers which produce cost functions, we propose an approach for automatically proving that a cost function is smaller than another one. In all applications of resource analysis, such as resour作者: 濕潤 時間: 2025-3-27 16:26
Len Bass,Paul Clementsder two perspectives. One perspective is predicative recursion, where we take Safe Recursion on Notation as representative. The other perspective is structural proof theory, whose representative can be Light Affine Logic (.). A way to make the two perspectives closer is to devise polynomial sound ge作者: 滲入 時間: 2025-3-27 18:23 作者: facetious 時間: 2025-3-28 01:59
P. Avgeriou,J. Grundy,J. Hall,P. Lago,I. Mistríkication, and is instrumental in energy-aware software development. Our objective is to estimate such energy consumption in the form of .. We have developed a tool for experimentation with static analysis which infers such energy functions at two levels, the instruction set architecture (ISA) and the作者: GULLY 時間: 2025-3-28 04:29 作者: hedonic 時間: 2025-3-28 06:35
Huy Tran,Ta’id Holmes,Uwe Zdun,Schahram Dustdar respect to a specification expressing the use of some resource, such as execution time, energy, or user-defined resources. In previous work we have presented a novel framework for data size-dependent, static resource usage verification (which can also be combined with run-time tests). Specification作者: 沉默 時間: 2025-3-28 13:39 作者: HERTZ 時間: 2025-3-28 15:14
Anticipating Change in Requirements Engineeringating change during requirements elicitation, so that software architecture components that are affected by the change are loosely coupled with the rest of the system. This chapter proposes Change-oriented Requirements Engineering (CoRE), a method to anticipate change by separating requirements into作者: 率直 時間: 2025-3-28 21:12 作者: 詞匯 時間: 2025-3-28 23:40
Understanding Architectural Elements from Requirements Traceability Networksge usually remains implicit in the heads of the architects, except the architecture design itself. The aim of this research is to make architectural knowledge more explicit by mining homogenous and heterogeneous requirements traceability networks. This chapter investigates such networks achieved by 作者: 軟弱 時間: 2025-3-29 03:15
Tools and Techniquesess or a selected software lifecycle model. They can support various stakeholders in validating the compliance of the development results against quality criteria spanning from technical non-functional requirements to business/organizational strategies. Finally, tools and techniques may help various作者: CODA 時間: 2025-3-29 09:02 作者: Conclave 時間: 2025-3-29 13:57 作者: 誰在削木頭 時間: 2025-3-29 16:04
Systematic Architectural Design Based on Problem Patternst are set up when following Jackson‘s problem frame approach. They include a context diagram describing the overall problem situation and a set of problem diagrams that describe subproblems of the overall software development problem. The different subproblems should be instances of problem frames, 作者: Benign 時間: 2025-3-29 20:20 作者: 頭腦冷靜 時間: 2025-3-30 01:16 作者: Terrace 時間: 2025-3-30 05:54 作者: Gobble 時間: 2025-3-30 08:13
A Reference Architecture for Consumer Electronics Products and its Application in Requirements Enginver, this must be achieved with limited hardware resources, so requirements engineers and architects must work together to specify an attractive product within these constraints. This requires an architectural description from early in development. The creation of this description is hampered by the作者: Facet-Joints 時間: 2025-3-30 13:39
Using Model-Driven Views and Trace Links to Relate Requirements and Architecture: A Case Studyortunately, many laws and regulations are hard to formulate. As a result, several compliance concerns are realized on a per-case basis, leading to ad hoc, hand-crafted solutions for each specific law, regulation, and standard that a system must comply with. This, in turn, leads in the long run to pr作者: 背書 時間: 2025-3-30 16:41 作者: 解凍 時間: 2025-3-30 20:51
Onions, Pyramids & Loops – From Requirements to Software Architecture essential topics which still need special consideration is systematic software architecture design. This chapter illustrates a set of proven practices as well as a conceptual method that help software engineers classify and prioritize requirements which then serve as drivers for architecture design作者: 嫻熟 時間: 2025-3-31 02:37
Book 2011s important because the requirements, be they explicit or implicit, represent the function, whereas the architecture determines the form. While changes to a set of requirements may impact on the realization of the architecture, choices made for an architectural solution may impact on requirements, e作者: mydriatic 時間: 2025-3-31 07:01 作者: oracle 時間: 2025-3-31 11:57
Anticipating Change in Requirements Engineeringnctional constraints, and business policies and rules. CoRE is empirically evaluated by applying it to a large-scale software system, and then studying the requirements change from development to maintenance. Results show that CoRE accurately anticipates the relative volatility of the requirements.作者: WAIL 時間: 2025-3-31 14:08
Understanding Architectural Elements from Requirements Traceability Networksoach. Traceability networks can be used in understanding some of the resulting architectural styles based on the real time state of a software project. We also demonstrate the use of traceability networks to monitor initial system decisions and identify bottlenecks in a software project.
