Journal of Systems and Software

Title Publication Date Language Citations
A model for estimating efforts required for developing small-scale business applications1997/10/01English
“Formal methods” technology transfer will fail1998/03/01English
Formal methods and traditional engineering1998/03/01English
Effectiveness of the FDDI-M protocol in supporting synchronous traffic2001/02/01English
Contents volume 582001/09/01English
System dynamics modelling and simulation of collaborative requirements engineering2001/12/01English
Software quality assurance: An analytical survey and research prioritization1998/01/01English
Verification of the ISO ACSE protocol using Deductive Machine1997/12/01English
Editor's corner Beyond formal methods1995/05/01English
Fast state transfer for updates and live migration of industrial controller runtimes in container orchestration systems2024/05/01English
Software Process Simulation Modelling2001/12/01English
A study of the relationships among Albrecht and Mark II Function Points, lines of code 4GL and effort1997/05/01English
Adopting object-oriented technology: Evolution or revolution?1997/04/01English
Algorithms for reliability-oriented module allocation in distributed computing systems1998/02/01English
Contents Volume 572001/07/01English
Empirical comparison of regression test selection algorithms2001/04/01English
An efficient data structure for dynamic memory management2000/11/01English
Software engineering practices in Singapore1998/04/01English
Formal methods and requirements engineering: Challenges and synergies1998/03/01English
An implementation of an external pager interface on BSD UNIX1995/05/01English
Using PVM to develop a distributed object-oriented language for heterogeneous processing1998/02/01English
Editor's corner About software engineering hype1996/07/01English
User cognitive representations: The case for an object oriented model1998/11/01English
Poisson analyses of defects for small software components1997/07/01English
A formally specified prototyping system1996/07/01English
Process-based parallel logic programming: A survey of the basic issues1997/10/01English
Introduction to an integrated methodology for development and implementation of enterprise information systems2002/02/01English
An analysis of errors in a reuse-oriented development environment1997/09/01English
Enhancing maintainability of source programs through disabbreviation1997/05/01English
On the usage of simulators to detect inefficiency of parallel programs caused by “bad” schedulings: The Simparc approach1996/06/01English