Journal: ACM SIGSOFT Software Engineering Notes

Volume 36, Issue 1

1 -- 7Yogesh Singh, Pradeep Kumar Bhatia, Omprakash Sangwan. Software reusability assessment using soft computing techniques
1 -- 8Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes. TEPE: a SysML language for time-constrained property modeling and formal verification
1 -- 8Dan Li, Xiaoshan Li, Volker Stolz. QVT-based model transformation using XSLT
1 -- 8Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. Static analysis by abstract interpretation of embedded critical software
1 -- 4Fazal-e-Amin, Ahmad Kamil Mahmood, Alan Oxley. An analysis of object oriented variability implementation mechanisms
1 -- 9Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee. Generating composite behavior of embedded software components based on UML behavioral model and process algebra
1 -- 5Roque Elias Assumpção Pinel, Filipe Braida do Carmo, Rodrigo Salvador Monteiro, Geraldo Zimbrão. Improving tests infrastructure through a model-based approach
1 -- 10Sabnam Sengupta, Ananya Kanjilal, Swapan Bhattacharya. Measuring complexity of component based architecture: a graph based approach
1 -- 8Isabelle Perseil. Towards a specific software development process for high integrity systems
1 -- 8Antonio Sarasa-Cabezuelo, Bryan Temprado-Battad, José Luis Sierra. Engineering web services with attribute grammars: a case study
1 -- 5Manjari Gupta, Akshara Pande, Anil Kumar Tripathi. Design patterns detection using SOP expressions for graphs
1 -- 4R. K. Pandey. Object constraint language (OCL): past, present and future
1 -- 8Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux. SysML to UML model transformation for test generation purpose
1 -- 4Nasib S. Gill, Pradeep Tomar. New and innovative process to construct testable component with systematic approach
1 -- 8Christoph Lauer, Reinhard German, Jens Pollmer. Fault tree synthesis from UML models for reliability analysis at early design stages
1 -- 8Christine Choppy, Kais Klai, Hacene Zidani. Formal verification of UML state diagrams: a petri net based approach
1 -- 8Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard. Optimum: a MARTE-based methodology for schedulability analysis at early design stages
1 -- 8Vlad Rusu. Embedding domain-specific modelling languages in maude specifications
1 -- 4Klaus Haller. Web services from a service provider perspective: tenant management services for multitenant information systems
1 -- 7Stephen Ferg. Miss Grant s controller: an executable JSD specification
1 -- 14Ashish Sharma, Dharmender Singh Kushwaha. Natural language based component extraction from requirement engineering document and its complexity analysis
1 -- 8Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn. UML in action: a two-layered interpretation for testing
1 -- 8Frédéric Mallet, Charles André, Robert de Simone. Logical time: specification vs. implementation
1 -- 8Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König. Modeling a distributed intrusion detection system using collaborative building blocks
4 -- 5Larry Bernstein, Hákon Ágústsson. Pithy software engineering quotes
5 -- 6Robert Schaefer. Avoiding work by thinking about working
6 -- 7Mark A. Ardis, Peter B. Henderson. Software engineering education (SEEd)
8 -- 18Mark Doernhoefer. Surfing the net for software engineering notes
19 -- 27Peter G. Neumann. Risks to the public
28 -- 29Michel Wermelinger, Hugo Sereno Ferreira. Quality evolution track at QUATIC 2010
36 -- 37Alberto Sampaio. Agile Testing by John Watkins
36 -- 0Joe Saur. Programming in visual basic 2010: the very beginner s guide by Jim McKeown
37 -- 38Robert Schaefer. P, NP, and NP-Completeness: the basics of computational complexity by Oded Goldreich