Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Journal
Overview
Research
Identifiers
Other
View All
Overview
publication venue for
A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets
. 25:1199-1235.
2015
A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING
. 23:589-625.
2013
A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
. 22:891-925.
2012
FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM
. 20:311-345.
2010
A tool to automatically map implementation-based testing techniques to classes
. 16:585-614.
2006
Constraint propagation and progressive verification for component-based process model
. 14:471-496.
2004
SPECIFYING SOFTWARE ARCHITECTURAL CONNECTORS IN SAM
. 10:411-431.
2000
Specifying software architectural connectors in SAM
. 10:411-431.
2000
A knowledge-assisted approach to parameterized reuse
. 6:641-671.
1996
A Framework for Developing Cyber-Physical Systems
2017
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker
2017
TRAP.NET: A REALIZATION OF TRANSPARENT SHAPING IN .NET
2009
A translator of software architecture design from sam to Java
2007
Research
category
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Category
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Category
ENGINEERING, ELECTRICAL & ELECTRONIC
Category
Identifiers
International Standard Serial Number (ISSN)
0218-1940
Electronic International Standard Serial Number (EISSN)
1793-6403
Other
journal abbreviation
INT J SOFTW ENG KNOW