Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
INFORMATION AND SOFTWARE TECHNOLOGY
Journal
Overview
Research
Identifiers
Other
View All
Overview
publication venue for
An adaptive middleware design to support the dynamic interpretation of domain-specific models
. 62:21-41.
2015
A methodology for evaluating test coverage criteria of high level Petri nets
. 51:1520-1533.
2009
A new approach to verify rule-based systems using petri nets
. 45:663-669.
2003
A methodology of testing high-level Petri nets
. 44:473-489.
2002
PZ nets - a formal method integrating Petri nets with Z
. 43:1-18.
2001
Translating hierarchical predicate transition nets to CC++ programs
. 42:475-488.
2000
The formal specification of ORN semantics
. 42:159-170.
2000
Introducing software architecture specification and analysis in SAM through an example
. 41:451-467.
1999
Mapping Petri nets to concurrent programs in CC++
. 39:485-495.
1997
Deriving algebraic Petri net specifications from structured analysis-a case study
. 37:411-434.
1995
High-level algebraic Petri nets
. 37:23-30.
1995
Generating diagram editors from formal specifications
. 34:139-146.
1992
Research
category
COMPUTER SCIENCE, INFORMATION SYSTEMS
Category
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Category
Identifiers
International Standard Serial Number (ISSN)
0950-5849
Electronic International Standard Serial Number (EISSN)
1873-6025
Other
journal abbreviation
INFORM SOFTWARE TECH