全文获取类型
| 收费全文 | 96篇 |
| 免费 | 1篇 |
| 国内免费 | 1篇 |
专业分类
| 教育 | 56篇 |
| 科学研究 | 12篇 |
| 体育 | 20篇 |
| 文化理论 | 4篇 |
| 信息传播 | 6篇 |
出版年
| 2022年 | 3篇 |
| 2021年 | 1篇 |
| 2020年 | 3篇 |
| 2019年 | 3篇 |
| 2018年 | 3篇 |
| 2017年 | 3篇 |
| 2016年 | 3篇 |
| 2015年 | 3篇 |
| 2014年 | 6篇 |
| 2013年 | 17篇 |
| 2012年 | 1篇 |
| 2011年 | 2篇 |
| 2010年 | 4篇 |
| 2009年 | 4篇 |
| 2008年 | 4篇 |
| 2007年 | 4篇 |
| 2006年 | 3篇 |
| 2005年 | 2篇 |
| 2004年 | 6篇 |
| 2003年 | 2篇 |
| 2002年 | 1篇 |
| 2001年 | 8篇 |
| 2000年 | 1篇 |
| 1999年 | 1篇 |
| 1998年 | 1篇 |
| 1997年 | 1篇 |
| 1996年 | 1篇 |
| 1993年 | 1篇 |
| 1988年 | 1篇 |
| 1987年 | 1篇 |
| 1983年 | 1篇 |
| 1980年 | 1篇 |
| 1978年 | 1篇 |
| 1977年 | 1篇 |
排序方式： 共有98条查询结果，搜索用时 15 毫秒
91.
92.
93.
Jan Scheffczyk Christiane Stutz Uwe M. Borghoff und Johannes Siedersleben 《Informatik - Forschung und Entwicklung》2004,19(1):17-29
Zusammenfassung. Die Spezifikation ist die Grundlage für den Erfolg eines Software-Projekts. Der Praktiker konzentriert sich hier i.d.R. auf die größte Herausforderung: die vollständige und inhaltlich korrekte Erfassung aller Anforderungen an das zu erstellende Software-System. Dass Spezifikationen für große Systeme aus vielen Dokumenten verschiedener Ausprägung in Form und Inhalt bestehen, tritt dabei meist in den Hintergrund. Ihre Konsistenz wird meist mit hohem manuellem Aufwand sichergestellt. Der Erstellung formal korrekter und konsistenter Software-Spezifikationen widmen sich zahlreiche theoretische Arbeiten. In der Praxis sind sie jedoch meist nicht mit der gewohnten Arbeitsweise vereinbar. In diesem Artikel stellen wir einen Mittelweg vor: Wir nutzen die Spezifikationsbausteine von sd&m für die Spezifikation, die als Ergebnisse Dokumente in natürlicher Sprache sowie semi-formale Darstellungen umfasst. Für Spezifikationen, die nach diesen Bausteinen erstellt wurden, definieren wir Konsistenz durch formale zeitbehaftete Konsistenzregeln. Ein von uns entwickeltes Auswertungswerkzeug ermittelt Inkonsistenzen präzise. Unterstützt von einem solchen Werkzeug kann sich der Software-Ingenieur wieder ganz auf das Hauptanliegen der Spezifikation konzentrieren: ihre inhaltliche Korrektheit und Vollständigkeit.Eingegangen am 19. August 2003, Angenommen am 10. März 2004, CR Subject Classification:
D.2.1, D.3.1, H.3.1, I.7.1 相似文献
94.
The article focuses on Gramsci's elaboration of the concept of hegemony to analyze the function of Social Work during the periods of Fordism and post-Fordism. It discusses the limits and opportunities for a democratic development in the theory and praxis of Social Work. 相似文献
95.
96.
Uwe M. Borghoff Michael Koch Martin S. Lacher Johann H. Schlichter und Knut Wei?er 《Informatik - Forschung und Entwicklung》2001,16(2):103-109
Zusammenfassung. Bei Anwendungen zur Unterstützung synchroner und asynchroner Interaktion über das Internet richtet sich das (Forschungs-)Interesse
in letzter Zeit immer mehr auf die (Rechner-)Unterstützung von Communities. Die IMC-Gruppe (Information Management for Communities) in München besch?ftigt sich mit verschiedenen Aspekten dieses Themas. Insbesondere hat die Gruppe eine agentenbasierte Grundarchitektur
für Community-Unterstützungssysteme erarbeitet, die sie in mehreren Projekten einsetzt und ausbaut. Nach einer kurzen Einführung
in das Thema Community-Unterstützung stellen wir im Folgenden zuerst die Grundarchitektur vor und verdeutlichen eine Einsatzm?glichkeit
an zwei konkreten Projekten, die gerade in der IMC-Gruppe durchgeführt werden. 相似文献
97.
98.
Kangaroos are able to increase their hopping speed without raising the total level of energy expenditure, and one means of energy conservation which may help them achieve this is elastic storage in muscles and tendons. During each hop muscles and their tendons are stretched; by taking up most of the stretch, the tendons allow muscle and tendon together to behave as a simple spring. During recoil most of the energy put in by stretch is released and provides the animal with some of the lift for the next hop. 相似文献