free research papers-software engineering-11
Daniel Jackson and Eunsuk Kang. Separation of Concerns for Dependable Software Design. Workshop on the Future of Software Engineering Research (FoSER), co-located with FSE, Santa Fe, 2010 (PDF).
Eunsuk Kang and Daniel Jackson. Dependability Arguments with Trusted Bases. 18th International Conference on Requirements Engineering (RE), Sydney, 2010 (PDF).
Eunsuk Kang and Daniel Jackson. Patterns for Dependable Systems with Trusted Bases. Pattern Languages of Programs Conference (PLOP), Reno, NV, 2010 (PDF).
Joseph P. Near. From Relational Specifications to Logic Programs. 26th International Conference on Logic Programming, 2010 (PDF).
Joseph P. Near and Daniel Jackson. An Imperative Extension to Alloy. 2nd Conference on ASM, Alloy, B, and Z (ABZ 2010). Orford, QC, Canada. February 2010 (PDF).
Daniel Jackson. A Direct Path To Dependable Software. Communications of the Association for Computing Machinery (CACM), April 2009, pp. 78-88 (PDF).
Daniel Jackson. A Direct Path To Dependable Software (Fuller version of the published paper). Communications of the Association for Computing Machinery (CACM), April 2009 (PDF).
Derek Rayside, Aleksander Milicevic, Kuat Yessenov, Greg Dennis and Daniel Jackson. Agile Specifications (Onward’09). (PDF).
C. A. R. Hoare. Edited and introduced by Daniel Jackson. The Michael Jackson Design Technique: A study of the theory with applications. ICSE Workshop: A Tribute to Michael Jackson, Vancouver, May 2009 (PDF).
Daniel Jackson and Eunsuk Kang. Property-part diagrams: A dependence notation for software systems. ICSE Workshop: A Tribute to Michael Jackson, Vancouver, May 2009 (PDF).
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson. Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions. 31st International Conference on Software Engineering (ICSE’09). (PDF)
Derek Rayside and H.-Christian Estler A Spreadsheet-like User Interface for Combinatorial Multi-Objective Optimization. (CASCON’09). (PDF).
Derek Rayside, H.-Christian Estler, and Daniel Jackson. A Guided Improvement Algorithm for Exact, General Purpose, Many-Objective Combinatorial Optimization. MIT-CSAIL-TR-2009-033 (http://hdl.handle.net/1721.1/46322)
Eunsuk Kang and Daniel Jackson. Designing and Analyzing a Flash File System with Alloy. International Journal of Software and Informatics (IJSI), 2009 (PDF).
Greg Dennis, Kuat Yessenov, Daniel Jackson. Bounded Verification of Voting Software. Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE’08). Toronto, Canada, October 2008. (PDF)
Eunsuk Kang and Daniel Jackson. Formal Modeling and Analysis of a Flash Filesystem in Alloy. 1st Conference on ASM, B, and Z (ABZ 2008). London, UK. September 2008. (PDF)
Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson. Finding Minimal Unsatisfiable Cores of Declarative Specifications. 15th International Symposium on Formal Methods (FM’08). Turku, Finland. May 2008. (PDF)