Software Systems Publications

Publications in Software Systems

Explore the most influential research papers and scholarly works that have shaped Software Systems. Use the concept filter below to focus on a specific sub-area of research.

Software Systems

9.5K

Publications

546.9K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Intelligent agents: theory and practice Michael Wooldridge, Nicholas R. Jennings The Knowledge Engineering Review Artificial IntelligenceEngineeringSoftware SystemsSoftware EngineeringAutonomous Agent System	1995	6.5K
On the criteria to be used in decomposing systems into modules David Lorge Parnas Communications of the ACM EngineeringSoftware SystemsComputer ArchitectureSoftware EngineeringSystem-level Design	1972	4.6K
Systematic literature reviews in software engineering – A systematic literature review Barbara Kitchenham, O. Pearl Brereton, David Budgen, Information and Software Technology EngineeringSystematic Literature StudySystematic Literature ReviewsSoftware SystemsDesign	2008	4.2K
Software update: The <scp>ORCA</scp> program system—Version 5.0 Frank Neese Wiley Interdisciplinary Reviews Computational Molecular Science Software MaintenanceCategoryquantum ElectronicsEngineeringSoftware SystemsSoftware Engineering	2022	4K
The model checker SPIN Gerard J. Holzmann IEEE Transactions on Software Engineering EngineeringModel Checker SpinSpin SystemsSoftware SystemsVerification	1997	3.7K
Can programming be liberated from the von Neumann style? John Backus Communications of the ACM Artificial IntelligenceAbstract MachineConventional Programming LanguagesProgramming ParadigmEngineering	1978	2.6K
Drebin: Effective and Explainable Detection of Android Malware in Your Pocket Daniel J. Arp, Michael Spreitzenbarth, Hugo Gascón, Mobile SecurityEngineeringYour PocketEvasion TechniqueProgram Analysis	2014	2.2K
The B-book: assigning programs to meanings Choice Reviews Online EngineeringSoftware SystemsB MethodSoftware EngineeringSemantics	1997	2.1K
End-To-End Arguments In System Design EngineeringSystem ProgrammingSoftware SystemsEnd-to-end ArgumentsComputer Architecture	1984	2.1K
The Semantics of a Simple Language for Parallel Programming. Gilles Kahn IFIP Congress EngineeringSoftware SystemsSemanticsSoftware AnalysisFormal Verification	1974	2.1K
The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling Choice Reviews Online 45-Minute LecturesEngineeringSoftware SystemsComputer ArchitectureSoftware Engineering	1992	2.1K
Applying 'design by contract' Bertrand Meyer Computer Design DecisionEngineeringObject-oriented ModelingVerificationSoftware Systems	1992	2.1K

Page 1