|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
A Specification and Validation Technique Based on STATEMATE and FNLOG.  |
ICFEM  |
2002 |
DBLP DOI BibTeX RDF |
Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation |
| 1 | Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo |
Using semi-formal methods for detecting interactions among smart homes policies. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuaiqiang Wang, Ying Li, Guodong Huang |
PostB: The Post-condition Extension onto the B-Method. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo |
The use of semi-formal methods for detecting requirements interactions. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo |
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Requirements interactions, Semi-formal approaches, Requirements engineering, IRIS |
| 1 | Mohamed Shehata, Armin Eberlein |
Requirements Interaction Detection Using Semi-Formal Methods. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Alghathbar, Duminda Wijesekera |
authUML: a three-phased framework to analyze access control specifications in use cases. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
semi-formal methods, use cases, Security engineering, access control policies |
| 1 | Mohamed Shehata, Armin Eberlein |
Detecting Requirements Interactions: A Three-Level Framework. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Villavicencio, José Nuno Oliveira |
Reverse Program Calculation Supported by Code Slicing. (PDF / PS) |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Venkataraman, Murali Rangarajan, Perry Alexander |
Composing Specifications in VSPEC. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")