设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(4)
在“
SpringerLink电子期刊
”中,
命中:
7
条,耗时:小于0.01 秒
在所有数据库中总计命中:
4
条
1.
Invariant relations, invariant functions, and loop functions
作者:
Lamia
Labed
Jilani
(1) Lamia.Labed@isg.rnu.tn
Asma Louhichi (2)
Olfa Mraihi (1)
Ali Mili (3)
关键词:
Program analysis –
;
Program semantics –
;
Program function –
;
While loop –
;
Refinement calculus –
;
Reverse modeling
刊名:Innovations in Systems and Software Engineering
出版年:2012
2.
Computing Preconditions and Postconditions of While Loops
作者:
Olfa Mraihi (1) olfa.mraihi@yahoo.fr
Wided Ghardallou (2) wided.ghardallou@gmail.com
Asma Louhichi (2) louhichiasma@yahoo.fr
Lamia
Labed
Jilani
(1)
lamia
.
labed
@isg.rnu.tn
Khaled Bsaies (2) khaled.bsaies@fst.rnu.tn
Ali Mili (3) mili@cis.njit.edu
关键词:
weakest precondition –
;
strongest postcondition –
;
while loop –
;
invariant relation –
;
programming language semantics –
;
program correctness –
;
relational calculus
刊名:Lecture Notes in Computer Science
出版年:2011
3.
Relational Methods in the Analysis of While Loops: Observations of Versatility
作者:
Asma Louhichi
;
Olfa Mraihi
;
Lamia
Labed
Jilani
;
Khaled Bsaies
;
Ali Mili
关键词:
Function extraction
;
loop functions
;
invariant assertions
;
invariant relations
;
invariant functions
;
relational calculus
;
refinement calculus
;
computing loop behavior
刊名:Lecture Notes in Computer Science
出版年:2009
4.
Modeling security as a dependability attribute: a refinement-based approach
作者:
Ali Mili
;
Frederick Sheldon
;
Lamia
Labed
Jilani
;
Alex Vinokurov
;
Alex Thomasian and Rahma Ben Ayed
刊名:Innovations in Systems and Software Engineering
出版年:2006
5.
Cost Estimation for Product Line Engineering Using COTS Components
作者:
Sana Ben Abdallah Ben Lamine
;
Lamia
Labed
Jilani
;
Henda Hajjami Ben Ghezala
刊名:Lecture Notes in Computer Science
出版年:2005
6.
Modeling security as a dependability attribute: a refinement-based approach
作者:
Ali Mili
;
Frederick Sheldon
;
Lamia
Labed
Jilani
;
Alex Vinokurov
;
Alex Thomasian and Rahma Ben Ayed
刊名:Innovations in Systems and Software Engineering
出版年:2006
7.
Cost Estimation for Product Line Engineering Using COTS Components
作者:
Sana Ben Abdallah Ben Lamine
;
Lamia
Labed
Jilani
;
Henda Hajjami Ben Ghezala
刊名:Lecture Notes in Computer Science
出版年:2005
1
按检索点细分(7)
作者(7)
按出版年细分(7)
2012年(1)
2011年(1)
2009年(1)
2006年(2)
2005年(2)
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
.