Information and Software Technology

Edit Your Profile

Information and Software Technology Journal

publication venue for

ADTDroid: Leveraging API description and TCP based active learning for Android malware detection. 189. 2026
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

International Standard Serial Number (ISSN)

0950-5849

Electronic International Standard Serial Number (EISSN)

1873-6025