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