Journal of Systems and Software

Title Publication Date Language Citations
Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net2001/09/01English
Modeling and simulating software acquisition process architectures2001/12/01English
Performance results for the CSMA/CD protocol using GreatSPN1997/04/01English
Software salvaging and the call dominance tree1995/02/01English
System evaluation and quality improvement1997/03/01English
Formal methods for verification and validation of partial specifications: A case study1998/03/01English
Editor's corner methodologies: Bend to fit?1996/11/01English
Management of process improvement by prescription2001/04/01English
Application of a hybrid process simulation model to a software development project2001/12/01English
On measuring the complexity of an estelle specification1998/02/01English
Guest editor's corner research directions in formal methods technology transfer1998/03/01English
“Paramita wisdom” password authentication scheme without verification tables1998/07/01English
A computerized causal forecasting system using genetic algorithms in supply chain management2002/02/01English
Combining OMT with a prototyping approach1998/11/01English
Experience with identifying and characterizing problem-prone modules in telecommunication software systems2001/07/01English
On the prediction of computer implementation faults via static error prediction models1995/02/01English
A formal language model for parsing SGML1997/02/01English
Experimental evaluation in computer science: A quantitative study1995/01/01English
Few-shot code translation via task-adapted prompt learningEnglish
Direct execution simulation of load balancing algorithms with real workload distribution2000/11/01English
Creating object-oriented designs from legacy FORTRAN code1997/11/01English
The relationship between ISO/IEC 15504 process capability levels, ISO 9001 certification and organization size: An empirical study2001/10/01English
Editor's corner some thoughts on automatic code generation1997/04/01English
Streaming extensibility in the Modify-on-Access file system2002/01/01English
CM-CASL: Comparison-based performance modeling of software systems via collaborative active and semisupervised learning2023/07/01English
Architecting for a Sustainable Digital Society2023/06/01English
Decentralized decision-making and scaled autonomy at Spotify2023/06/01English
Explaining software fault predictions to spreadsheet users2023/07/01English
Empirical investigation in embedded systems: Quality attributes in general, maintainability in particular2023/07/01English
Automated discovery of concise predictive rules for intrusion detection2002/02/01English