Editors, Aims & Scope
Special issue on “Intelligent Software Design”
Document based rational software development
Model checking communicative agent-based systems
Secrecy of cryptographic protocols under equational theory
Generating MDA’s platform independent model using URDAD
A concept and implementation of higher-level XML transformation languages
Algorithm library based on algorithmic cyberFilms
Clayworks: Toward user-oriented software for collaborative modeling and simulation
Intelligent human interface based on mental cloning-based software
A novel intuitive GUI method for user-friendly operation