设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(3)
SpringerLink电子期刊(243)
ProQuest学位论文(26)
Elsevier电子期刊(78)
在“
Elsevier电子期刊
”中,
命中:
78
条,耗时:0.0189916 秒
在所有数据库中总计命中:
350
条
1.
Towards a formal model of patterns and pattern
languages
作者:
Alireza Rouhi
rouhi@eng.ui.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
Bahman Zamani
;
zamani@eng.ui.ac.ir" class="auth_mail" title="E-mail the corresponding author
关键词:
Formal
modeling
;
Revised and extended GEBNF
;
Design patterns
;
Patterns&rsquo
;
inter-relationships
;
Pattern
languages
刊名:Information and Software Technology
出版年:2016
2.
Making explicit domain knowledge in formal system development
作者:
Yamine Ait-Ameur
a
;
yamine@enseeiht.fr" class="auth_mail" title="E-mail the corresponding author
;
Dominique Mé
;
ry
b
;
dominique.mery@loria.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
System design models
;
Explicit vs. implicit
semantics
;
Ontologies and ontology engineering
;
Models verification and validation
;
Domain knowledge
刊名:Science of Computer Programming
出版年:2016
3.
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
作者:
Mathilde Arnaud
mathilde.arnaud@cea.fr" class="auth_mail" title="E-mail the corresponding author
;
Boutheina Bannour
boutheina.bannour@cea.fr" class="auth_mail" title="E-mail the corresponding author
;
Arnault Lapitre
1
;
arnault.lapitre@cea.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Symbolic execution and tools
;
Modeling
languages
semantics
;
UML Scenario-based Interactions
;
VSL/MARTE timing constraints
;
Test selection strategy and coverage
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
4.
Querying incomplete information in RDF with SPARQL
作者:
Charalampos Nikolaou
;
charnik@di.uoa.gr" class="auth_mail" title="E-mail the corresponding author
;
Manolis Koubarakis
koubarak@di.uoa.gr" class="auth_mail" title="E-mail the corresponding author
关键词:
Incomplete information
;
Semantic Web
;
RDF
;
SPARQL
刊名:Artificial Intelligence
出版年:2016
5.
Intra- and interdiagram consistency checking of behavioral multiview models
作者:
Petra Kaufmann
a
;
kaufmann@big.tuwien.ac.at" class="auth_mail" title="E-mail the corresponding author
;
Martin Kronegger
b
;
kronegger@dbai.tuwien.ac.at" class="auth_mail" title="E-mail the corresponding author
;
Andreas Pfandler
b
;
e
;
pfandler@dbai.tuwien.ac.at" class="auth_mail" title="E-mail the corresponding author
;
Martina Seidl
a
;
c
;
martina.seidl@jku.at" class="auth_mail" title="E-mail the corresponding author
;
Magdalena Widl
d
;
widl@kr.tuwien.ac.at" class="auth_mail" title="E-mail the corresponding author
关键词:
Multiview
modeling
;
Unified
modeling
language
;
Consistency checking
;
SAT encodings
刊名:Computer
Languages
, Systems & Structures
出版年:2015
6.
A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models
作者:
Mark Allison
a
;
Peter J. Clarke
b
;
Xudong He
b
关键词:
Model Driven Development
;
Software Reuse
;
Model Execution
刊名:Procedia Computer Science
出版年:2015
7.
Automated verification of design patterns: A case study
作者:
Jon Nicholson
;
Amnon H. Eden
;
Epameinondas Gasparis
;
Rick Kazman
关键词:
Object-oriented design
;
Modeling
and specification
;
Automated verification
;
Visual
languages
;
Design description
languages
刊名:Science of Computer Programming
出版年:1 February, 2014
8.
Automated verification of design patterns: A case study
作者:
Jon Nicholson
;
Amnon H. Eden
;
Epameinondas Gasparis
;
Rick Kazman
关键词:
Object-oriented design
;
Modeling
and specification
;
Automated verification
;
Visual
languages
;
Design description
languages
刊名:Science of Computer Programming
出版年:1 February, 2014
9.
Modeling
ontology evolution with SetPi
作者:
Lei Liu
;
Peng Zhang
;
Rong Fan
;
Rui Zhang
;
Hongji Yang
关键词:
Formalization
;
Modeling
;
Ontology evolution
;
Pi-calculus
刊名:Information Sciences
出版年:2014
10.
Polychronous
modeling
, analysis, verification and simulation for timed software architectures
作者:
Huafeng Yu
;
Yue Ma
;
Thierry Gautier
;
Lo茂c Besnard
;
Paul Le Guernic
;
Jean-Pierre Talpin
关键词:
Polychrony
;
Signal
;
AADL
;
Simulink
;
Model-driven engineering
;
Timing
modeling
;
Formal analysis and verification
刊名:Journal of Systems Architecture
出版年:November, 2013
1
2
3
4
5
6
7
8
按检索点细分(78)
题名(1)
关键词(2)
文摘(60)
按出版年细分(78)
2027年及以后(2)
2016年(4)
2015年(2)
2014年(1)
2013年(3)
2012年(6)
2011年(4)
2010年(5)
2009年(9)
2008年(4)
2007年(4)
2006年(4)
2005年(4)
2004年(3)
2003年(3)
2002年(3)
2001年(5)
2000年(1)
2000年及以前(11)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.