全文获取类型
收费全文 | 71篇 |
免费 | 0篇 |
专业分类
无线电 | 2篇 |
自动化技术 | 69篇 |
出版年
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 1篇 |
2012年 | 2篇 |
2011年 | 4篇 |
2010年 | 3篇 |
2009年 | 4篇 |
2008年 | 3篇 |
2007年 | 4篇 |
2006年 | 3篇 |
2005年 | 4篇 |
2004年 | 2篇 |
2003年 | 4篇 |
2002年 | 4篇 |
2001年 | 4篇 |
2000年 | 2篇 |
1999年 | 3篇 |
1998年 | 3篇 |
1996年 | 2篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1987年 | 1篇 |
1984年 | 2篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
排序方式: 共有71条查询结果,搜索用时 15 毫秒
1.
2.
Ohne Zusammenfassung 相似文献
3.
4.
Manfred Broy 《Formal Methods in System Design》1998,13(1):87-119
The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. It suggests the structuring of specifications into assumptions about the behavior of the component's environment and into commitments that are fulfilled by the component, provided the environment fulfills these assumptions. One of its motivations is to achieve modularity (also called compositionality) for state transition specifications of system components. Another reason for writing specifications in this format lies in proof rules that refer to this format. We define the assumption/commitment formats for functional system specifications. In particular, we work out a canonical decomposition of system specifications following the assumption/commitment format into safety and liveness aspects. We demonstrate the format of assumption/commitment specifications by a number of examples. Finally, we discuss the methodological significance of the assumption/commitment format in the stepwise development of specifications. 相似文献
5.
6.
Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang Paul Maria Spichkova 《Formal Aspects of Computing》2008,20(6):637-662
Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München. 相似文献
7.
8.
9.
Manfred Broy 《Software - Concepts & Tools》1998,19(1):57-59
A component is a physical encapsulation of related services according to a published specification. These services can only be accessed through a consistent and published interface that includes an interaction standard. Accordingly, a component has a black box view captured by the published specification, and a glass box view showing implementation details. We claim that the following semantic model is general enough to represent all black box views of components we have discussed so far. 相似文献
10.