INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Edit Your Profile

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING Journal

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

category

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Category
COMPUTER SCIENCE, SOFTWARE ENGINEERING Category
ENGINEERING, ELECTRICAL & ELECTRONIC Category

International Standard Serial Number (ISSN)

0218-1940

Electronic International Standard Serial Number (EISSN)

1793-6403

journal abbreviation

INT J SOFTW ENG KNOW