设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(1)
SpringerLink电子期刊(21)
ProQuest学位论文(1)
Elsevier电子期刊(11)
在“
SpringerLink电子期刊
”中,
命中:
21
条,耗时:0.054978 秒
在所有数据库中总计命中:
34
条
1.
Specification and automated validation of staged reconfiguration processes for
dynamic
software
product
lines
作者:
Malte Lochau
;
Johannes Bürdek
;
Stefan Hölzle
;
Andy Schürr
关键词:
Dynamic
software
product
lines
;
Staged configuration
;
Model
;
based domain engineering and validation
;
Model checking
刊名:
Software
& Systems Modeling
出版年:2017
2.
Feature Nets: behavioural modelling of
software
product
lines
作者:
Radu Muschevici
;
José Proença
;
Dave Clarke
关键词:
Behavioural modelling
;
Software
product
lines
;
Petri nets
;
Variability
刊名:
Software
and Systems Modeling
出版年:2016
3.
User Profiles for Context-Aware Reconfiguration in
Software
Product
Lines
关键词:
Dynamic
Software
Product
Line
;
User profiles
;
Preferences
;
Reconfiguration
;
Context
;
awareness
刊名:Lecture Notes in Computer Science
出版年:2016
4.
Using Models at Runtime to Adapt Self-managed Agents for the IoT
关键词:
Software
Product
Lines
;
Dynamic
Software
Product
Lines
;
Goal
;
oriented
;
Internet of Things
;
Preference
;
based reasoning
刊名:Lecture Notes in Computer Science
出版年:2016
5.
Carrying Ideas from Knowledge-Based Configuration to
Software
Product
Lines
关键词:
Variability modelling
;
Feature modelling
;
Knowledge
;
based configuration
;
Conceptualization
;
Variability management
刊名:Lecture Notes in Computer Science
出版年:2016
6.
Multi-Point Stereovision System for Contactless Dimensional Measurements
作者:
Gianluca Di Fulvio
;
Emanuele Frontoni…
关键词:
Stereovision
;
Industrial robotics applications
;
Dimensional measurements
;
Contactless measurements
刊名:Journal of Intelligent and Robotic Systems
出版年:2016
7.
State of the art: hardware in the loop modeling and simulation with its applications in design, development and implementation of system and control
software
作者:
Pouria Sarhadi
;
Samereh Yousefpour
关键词:
Hardware in the loop (HIL)
;
Modelling & Simulation
;
Embedded systems
;
System design
刊名:International Journal of
Dynamic
s and Control
出版年:2015
8.
Dynamic
decision models for staged
software
product
line configuration
作者:
Ebrahim Bagheri (1) (2)
Faezeh Ensan (3)
关键词:
Software
product
lines
;
Feature models
;
Utility elicitation
;
Stakeholder preferences
刊名:Requirements Engineering
出版年:2014
9.
Context-Aware Staged Configuration of Process Variants@Runtime
作者:
Aitor Murguzur (22)
Xabier De Carlos (22)
Salvador Trujillo (22)
Goiuria Sagardui (23)
关键词:
Runtime Variability
;
Late Selection
;
Context
;
awareness
;
Dynamic
Software
Product
Lines
;
Smart Logistics
刊名:Lecture Notes in Computer Science
出版年:2014
10.
Dealing with Non-Functional Requirements for Adaptive Systems via
Dynamic
Software
Product
-
Lines
作者:
Carlo Ghezzi (20)
Amir Molzam Sharifloo (20)
刊名:Lecture Notes in Computer Science
出版年:2013
1
2
3
按检索点细分(21)
题名(4)
关键词(3)
文摘(17)
按出版年细分(21)
2017年(1)
2016年(5)
2015年(1)
2014年(2)
2013年(3)
2012年(2)
2011年(1)
2010年(3)
2009年(2)
2008年(1)
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
.