標(biāo)題: Titlebook: Software Engineering and Environment; An Object-Oriented P Phillip C.-Y. Sheu Book 1997 Springer Science+Business Media New York 1997 algor [打印本頁] 作者: APL 時(shí)間: 2025-3-21 18:30
書目名稱Software Engineering and Environment影響因子(影響力)
書目名稱Software Engineering and Environment影響因子(影響力)學(xué)科排名
書目名稱Software Engineering and Environment網(wǎng)絡(luò)公開度
書目名稱Software Engineering and Environment網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering and Environment被引頻次
書目名稱Software Engineering and Environment被引頻次學(xué)科排名
書目名稱Software Engineering and Environment年度引用
書目名稱Software Engineering and Environment年度引用學(xué)科排名
書目名稱Software Engineering and Environment讀者反饋
書目名稱Software Engineering and Environment讀者反饋學(xué)科排名
作者: 摘要 時(shí)間: 2025-3-21 21:47 作者: 抵消 時(shí)間: 2025-3-22 04:11 作者: 不滿分子 時(shí)間: 2025-3-22 04:42
Software Science and Engineeringhttp://image.papertrans.cn/s/image/870804.jpg作者: 領(lǐng)袖氣質(zhì) 時(shí)間: 2025-3-22 11:18
https://doi.org/10.1007/978-1-4615-5907-8algorithms; computer; design; development; management; modeling; programming; project management; software; s作者: 美色花錢 時(shí)間: 2025-3-22 14:32
Design Methodologies and Specifications,s consists of a number of components, called .. During the design phase, those modules, relationships among modules, and possibly some control sequences are identified. Requirements for the modules are further specified, and this step is repeated until no further decomposition can be made and each module can be realized directly.作者: acrimony 時(shí)間: 2025-3-22 18:57
Program Verification and Testing, from the desire to prove formally that a program is correct, based on written code and requirements specification. In general two approaches are proposed for formal program verification—one based on theorem proving and one based on symbolic execution.作者: 討好女人 時(shí)間: 2025-3-23 00:37 作者: thrombus 時(shí)間: 2025-3-23 05:28 作者: 檢查 時(shí)間: 2025-3-23 06:39 作者: Arthropathy 時(shí)間: 2025-3-23 10:37 作者: Horizon 時(shí)間: 2025-3-23 15:30
Phillip C.-Y. Sheust time about democracy and human rights, which in turn inspired them to fight for political reforms aimed at overthrowing their colonizers and the Tutsi-dominated monarchy ruling Rwanda. The resulting 1959 Hutu Revolution and the 1962 elections ushered in Rwandan independence under Hutu President G作者: 叫喊 時(shí)間: 2025-3-23 18:43
Phillip C.-Y. Sheu) an added communicative burden that further complicates migrants’ access to the local labor market. The present chapter analyzes the discursive regimes that support labor-market inequality through the narrated experiences of two highly educated Latin American migrants living in Oslo. The main analy作者: Fester 時(shí)間: 2025-3-23 23:44 作者: 離開可分裂 時(shí)間: 2025-3-24 04:13
Phillip C.-Y. Sheu on Brazil’s formation. Second, it aims to contribute to the analysis of the military, economic, and social interactions that have to do with the intellectual history of the South Atlantic,. focusing on the circulation of cartographic and historiographical knowledge from Brazil to Angola. Our goal i作者: adjacent 時(shí)間: 2025-3-24 08:04
Phillip C.-Y. Sheunasty (1644–1911). The Qing is now increasingly envisioned as a time when China—the territories previously ruled by the Ming—was conquered and then ruled by the Manchus, who made it part of an expanding empire.. From this perspective, the “first globalization” was a time of interactions between empi作者: BALK 時(shí)間: 2025-3-24 13:17 作者: Arthropathy 時(shí)間: 2025-3-24 17:35 作者: Impugn 時(shí)間: 2025-3-24 21:29
nasty (1644–1911). The Qing is now increasingly envisioned as a time when China—the territories previously ruled by the Ming—was conquered and then ruled by the Manchus, who made it part of an expanding empire.. From this perspective, the “first globalization” was a time of interactions between empi作者: 補(bǔ)角 時(shí)間: 2025-3-25 02:38
. Twelve in-depth chapters discuss the different phasesof a software life cycle, with an emphasis on the object-orientedparadigm. In addition to technical models, algorithms, andprogramming styles, the author also covers several managerial issueskey to software project management. Featuring an abund作者: 破布 時(shí)間: 2025-3-25 06:36 作者: 專橫 時(shí)間: 2025-3-25 10:44
Programming and Coding,uted programming languages (see Section 5.4), these three languages are chosen to illustrate some basic ideas behind object-oriented programming and distributed programming. It is assumed that the reader is familiar with ..作者: 凹槽 時(shí)間: 2025-3-25 12:48 作者: Corporeal 時(shí)間: 2025-3-25 17:24
Automatic Program Synthesis and Reuse,software engineering for a long time.. Unfortunately most of the approaches proposed are restrictive because they work only for small examples. The major difficulty of program synthesis lies in the fact that it has to derive the control structure of a program—hopefully efficient—a task that is difficult even for a programmer.作者: Lipoprotein(A) 時(shí)間: 2025-3-25 20:28 作者: Ascribe 時(shí)間: 2025-3-26 01:41 作者: GROSS 時(shí)間: 2025-3-26 05:41
Design Methodologies and Specifications,s consists of a number of components, called .. During the design phase, those modules, relationships among modules, and possibly some control sequences are identified. Requirements for the modules are further specified, and this step is repeated until no further decomposition can be made and each m作者: 我不明白 時(shí)間: 2025-3-26 09:52 作者: 階層 時(shí)間: 2025-3-26 14:32 作者: APNEA 時(shí)間: 2025-3-26 20:04
Declarative Programming,us objective of declarative programming is to derive computations from requirements specifications automatically in every domain. A more conservative goal of declarative programming is to make programming a simple task so that only the key portion of a program must be figured out by the programmer a作者: 欺騙手段 時(shí)間: 2025-3-27 00:35 作者: 不公開 時(shí)間: 2025-3-27 04:17
Program Verification and Testing, from the desire to prove formally that a program is correct, based on written code and requirements specification. In general two approaches are proposed for formal program verification—one based on theorem proving and one based on symbolic execution.作者: 百靈鳥 時(shí)間: 2025-3-27 07:43 作者: figure 時(shí)間: 2025-3-27 11:04
Advanced Programming Environments,ted to the programming environment that were explored in the past. These include knowledge-based programming environments (Section 11.1), visual programming environments (Section 11.2), distributed programming environments (Section 11.3), programming environments that support concurrent engineering 作者: gerontocracy 時(shí)間: 2025-3-27 15:45 作者: 允許 時(shí)間: 2025-3-27 19:47
Object-Oriented Concepts and Modeling,local data; together they may share some global data. A program is a sequence of subprogram activations and data exchanges arranged by a control algorithm. If the system has multiple programs, data may be transferred among them asynchronously or synchronously through messages or shared variables.作者: FUSE 時(shí)間: 2025-3-28 01:28
Software Maintenance,ment and version management. Chapter 10 describes approaches to software maintenance, emphasizing applications of database technologies to managing programming objects at various levels of abstraction.作者: 貝雷帽 時(shí)間: 2025-3-28 04:55
Advanced Programming Environments,amming environments (Section 11.2), distributed programming environments (Section 11.3), programming environments that support concurrent engineering (Section 11.4), and component software (Section 11.5).作者: 充氣女 時(shí)間: 2025-3-28 07:38
Book 1997s, algorithms, andprogramming styles, the author also covers several managerial issueskey to software project management. Featuring an abundance of helpfulillustrations, this cogent work is an excellent resource for projectmanagers, programmers, and other computer scientists involved insoftware production.作者: sorbitol 時(shí)間: 2025-3-28 10:44
Programming Tools, interactive programming environment IDE that supports .++ programming. The choices made were arbitrary; our intent is to show how reusable libraries facilitate programming and to illustrate some desired features of an IDE.作者: Delectable 時(shí)間: 2025-3-28 15:58 作者: 種植,培養(yǎng) 時(shí)間: 2025-3-28 19:27 作者: 采納 時(shí)間: 2025-3-28 23:50 作者: BUDGE 時(shí)間: 2025-3-29 05:58 作者: Orgasm 時(shí)間: 2025-3-29 10:05
Phillip C.-Y. Sheuw her formally. We had met informally on several occasions while I was observing the day-to-day functionings of the memorial where she worked, and she had kindly permitted me to observe her as she guided visitors around the site. Like many of her co-workers, she was a consummate professional, provid作者: Juvenile 時(shí)間: 2025-3-29 14:15 作者: 直覺好 時(shí)間: 2025-3-29 19:03 作者: zonules 時(shí)間: 2025-3-29 20:34 作者: 團(tuán)結(jié) 時(shí)間: 2025-3-30 00:11
Phillip C.-Y. Sheuave a common shared history. They should, therefore, be studied together, regardless of national analytical frameworks. The relationship between Angola and Brazil, in particular, has engendered studies on the participation of Brazilian troops in the reconquest of the city of Luanda from the Dutch in作者: 多嘴 時(shí)間: 2025-3-30 04:49
