IMPLICIT SYSTEM SPECIFICATION AND THE INTERFACE EQUATION

被引：12

|

作者：

SHIELDS, MW

机构：

来源：

COMPUTER JOURNAL | 1989年 / 32卷 / 05期

关键词：

D O I：

10.1093/comjnl/32.5.399

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：399 / 412

页数：14

相关论文

共 50 条

[21] On a differential game in a system described by an implicit differential-operator equation
Vlasenko, L. A.
Rutkas, A. G.
DIFFERENTIAL EQUATIONS, 2015, 51 (06) : 798 - 807
[22] On a differential game in a system described by an implicit differential-operator equation
L. A. Vlasenko
A. G. Rutkas
Differential Equations, 2015, 51 : 798 - 807
[23] Theory and methodology of assumption/commitment based system interface specification and architectural contracts
Manfred Broy
Formal Methods in System Design, 2018, 52 : 33 - 87
[24] Theory and methodology of assumption/commitment based system interface specification and architectural contracts
Broy, Manfred
FORMAL METHODS IN SYSTEM DESIGN, 2018, 52 (01) : 33 - 87
[25] INTEGRATING SPECIFICATION OF HUMAN COMPUTER-INTERFACE WITH JACKSON SYSTEM-DEVELOPMENT
SUTCLIFFE, AG
INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (10) : 665 - 676
[26] An interface for implicit constitutive modelling
Furukawa, T
Yagawa, G
FRACTURE AND STRENGTH OF SOLIDS, PTS 1 AND 2: PT 1: FRACTURE MECHANICS OF MATERIALS; PT 2: BEHAVIOR OF MATERIALS AND STRUCTURE, 1998, 145-9 : 421 - 426
[27] ON THE VORONOI IMPLICIT INTERFACE METHOD
Zaitzeff, Alexander
Esedoglu, Selim
Garikipati, Krishna
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2019, 41 (04): : A2407 - A2429
[28] CONVERGENCE OF A FINITE ELEMENT-FINITE VOLUME IMPLICIT SCHEME FOR THE SYSTEM OF AN ELLIPTIC EQUATION AND A HYPERBOLIC EQUATION
GHILANI, M
EYMARD, R
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 319 (10): : 1095 - 1100
[29] The implicit equation of a multigraded hypersurface
Botbol, Nicolas
JOURNAL OF ALGEBRA, 2011, 348 (01) : 381 - 401
[30] The Implicit Equation of a Holditch Curve
Monterde, Juan
Rochera, David
BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2024, 47 (04)

← 1 2 3 4 5 →