Complementing semi-formal specifications with Z
The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotations. The paper starts...
Saved in:
Published in | Proceedings of the 11th Knowledge-Based Software Engineering Conference pp. 52 - 61 |
---|---|
Main Author | |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
1996
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotations. The paper starts from a specification of an access control system using classical description techniques: entity-relationship schemas, data-flow diagrams, and state machine descriptions. It shows how these can be combined with formal definitions of types, constraints and functions. |
---|---|
AbstractList | The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotations. The paper starts from a specification of an access control system using classical description techniques: entity-relationship schemas, data-flow diagrams, and state machine descriptions. It shows how these can be combined with formal definitions of types, constraints and functions. |
Author | Ledru, Y. |
Author_xml | – sequence: 1 givenname: Y. surname: Ledru fullname: Ledru, Y. organization: IMAG, Grenoble, France |
BookMark | eNp9zrEOgjAUQNGXqImg7sapPwC0II-ySjAmjjq5kIY8tIa2hJIY_95BZ6c7nOWGMLfOEsBW8FgIXibnw6WORVlinOepTLMZhFwKiQVKUcwhEBxllHFMlxB6_-Q8wz1iAEnlzNCTITtpe2eejI46NxrVMz9Qqzvdqkk769lLTw92W8OiU72nza8r2B3ra3WKNBE1w6iNGt_N9yH7ix-hIjVA |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL |
DOI | 10.1109/KBSE.1996.552823 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Xplore IEEE Proceedings Order Plans (POP All) 1998-Present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EndPage | 61 |
ExternalDocumentID | 552823 |
GroupedDBID | -~X 29O 6IE 6IK 6IL AAJGR ACGFS ADZIZ AFFNX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IPLJI JC5 OCL RIE RIL RNS |
ID | FETCH-ieee_primary_5528233 |
IEDL.DBID | RIE |
ISBN | 0818676817 9780818676819 |
ISSN | 1068-3062 |
IngestDate | Wed Jun 26 19:22:27 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-ieee_primary_5528233 |
ParticipantIDs | ieee_primary_552823 |
PublicationCentury | 1900 |
PublicationDate | 19960000 |
PublicationDateYYYYMMDD | 1996-01-01 |
PublicationDate_xml | – year: 1996 text: 19960000 |
PublicationDecade | 1990 |
PublicationTitle | Proceedings of the 11th Knowledge-Based Software Engineering Conference |
PublicationTitleAbbrev | KBSE |
PublicationYear | 1996 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0036466 |
Score | 2.5046926 |
Snippet | The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 52 |
SubjectTerms | Access control Data models Formal specifications Magnetic analysis Telephony |
Title | Complementing semi-formal specifications with Z |
URI | https://ieeexplore.ieee.org/document/552823 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NS8NAEB1sT55qa0XrB3vwuvnOJrlaWoqiCCoUL2U3mYCoqbTJxV_vzm6iKD14yy5hspBkZ2fmvTcAl5iKOJG-4EIlCY_yLOeqVB7HUn8AQnqFKongfHsnFk_R9TJetjrbhguDiAZ8hg5dmlp-sc4bSpW5cawDhLAHvdQLLFWr23RDYcuS2n7K9SnYBGBGrE2kftIK7XTjrCtXepl7c_UwI8aecKzxX01WjI-ZDyx5e2ukCQla8uo0tXLyzz_Cjf9c_gGMf8h87P7bTQ1hD6sRDLpuDqz9uQ_BpSkLJtf3sS2-v3Bzon1jRMckSJHN7jHK3bLnMUzms8fpgtMSVh9WtWJlnx4eQb9aV3gMjDpeZB4Wgcx0kCz9VAZREgYYlRKDuChOYLTDwGTn7CnsWzgz5SbOoF9vGjzX3rpWF-Y9fQGN8ZPH |
link.rule.ids | 310,311,786,790,795,796,802,4069,4070,23958,23959,25170,27958,55109 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED5BGWAqlCIoLw-szjtOvIJaFfoQEkWqWCInuUgISBFNFn49fiQgUAe2xIrsWLFzvrvv-w7gCmMWRsJllKVRRIOMZzQtUodiIRcAE06eForgPJuz8WNwtwyXjc625sIgogafoaUudS4_X2W1CpXZYSgdBH8bdqSZd7gha7W_XZ-ZxKQcIabyHKxdMC3XxmI3aqR22nveJiwdbk-uH4aKs8cs0_2vMivayoy6hr691uKEClzyYtVVamWff6Qb_zmBfej_0PnI_behOoAtLHvQbes5kGZ7H4KtmgycXD5H1vj2TPWZ9pUoQqYCFZn4HlHRW_LUh8FouLgZU_UKybvRrUjM6P4RdMpVicdAVM0L7mDuCS7dZOHGwgsi38OgEOiFeX4CvQ0dDDa2XsLueDGbJtPb-eQU9gy4WUUqzqBTfdR4Lm13lV7ob_YFkQSXHQ |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Proceedings+of+the+11th+Knowledge-Based+Software+Engineering+Conference&rft.atitle=Complementing+semi-formal+specifications+with+Z&rft.au=Ledru%2C+Y.&rft.date=1996-01-01&rft.pub=IEEE&rft.isbn=0818676817&rft.issn=1068-3062&rft.spage=52&rft.epage=61&rft_id=info:doi/10.1109%2FKBSE.1996.552823&rft.externalDocID=552823 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1068-3062&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1068-3062&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1068-3062&client=summon |