| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anders Mattsson, Brian Fitzgerald, Björn Lundell, Brian Lings |
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software.  |
ACM Trans. Softw. Eng. Methodol.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Queralt, Ernest Teniente |
Verification and Validation of UML Conceptual Schemas with OCL Constraints. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel |
Weak Alphabet Merging of Partial Behavior Models. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jehad Al-Dallal, Lionel C. Briand |
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi |
A Generative Programming Framework for Context-Aware CSCW Applications. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Ankit Goel, Bikram Sengupta |
Symbolic Message Sequence Charts. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Martin T. Vechev, Eran Yahav |
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum |
Lattice-Based Sampling for Path Property Monitoring. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Dehlinger, Robyn R. Lutz |
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman, Kiran Lakhotia |
FlagRemover: A testability transformation for transforming loop-assigned flags. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Anvik, Gail C. Murphy |
Reducing the effort of bug report triage: Recommenders for development-oriented decisions. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Miles, Paul T. Groth, Steve Munroe, Luc Moreau |
PrIMe: A methodology for developing provenance-aware applications. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Runtime Verification for LTL and TLTL. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinjun Chen, Yun Yang |
Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Sandeep S. Kulkarni |
Feasibility of Stepwise Design of Multitolerant Programs. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Chen, Tsong Yueh Chen, Baowen Xu |
A revisit of fault class hierarchies in general boolean specifications. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barthélémy Dagenais, Martin P. Robillard |
Recommending Adaptive Changes for Framework Evolution. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin A. Gandhi, Seok Won Lee |
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig, Eric Walkingshaw |
The Choice Calculus: A Representation for Software Variation. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, David Harel, Asaf Kleinbort |
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Sriram Gopal |
Expressive and Extensible Parameter Passing for Distributed Object Systems. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhai Nie, Hareton Leung |
The Minimal Failure-Causing Schema of Combinatorial Testing. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao |
A model for spectra-based software diagnosis. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Elliott Sim, Medha Umarji, Sukanya Ratanotayanon, Cristina V. Lopes |
How Well Do Search Engines Support Code Retrieval on the Web? |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew J. Ko, Brad A. Myers |
Extracting and answering why and why not questions about Java program output. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari |
Modular aspect-oriented design with XPIs. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin |
A verification system for interval-based specification languages. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kieran Conboy, Brian Fitzgerald |
Method and developer characteristics for effective agile method tailoring: A study of XP expert opinion. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye |
Partial constraint checking for context consistency in pervasive computing. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Praveen K. Jayaraman |
Synthesizing hierarchical state machines from expressive scenario descriptions. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Dyer 0001, Hridesh Rajan |
Supporting dynamic aspect-oriented features. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner |
Types and modularity for implicit invocation with implicit announcement. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani |
Analysis and applications of timed service protocols. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekwa Duala-Ekoko, Martin P. Robillard |
Clone region descriptors: Representing and tracking duplication in source code. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani |
Semantic self-assessment of query results in dynamic environments. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Param Vir Singh |
The small-world effect: The influence of macro-level properties of developer collaboration networks on open-source project success. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu, Matteo Tanca |
Design and implementation of Sator: A web service aggregator. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Unifying aspect- and object-oriented design. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding |
| 1 | Phil McMinn, David Binkley, Mark Harman |
Empirical evaluation of a nesting testability transformation for evolutionary testing. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
testability transformation, test data generation, Evolutionary testing, search-based software engineering |
| 1 | Dick Hamlet |
Tools and experiments supporting a testing-based theory of component composition. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
CAD tool support for CBSD, Experiments with composition of software components, synthesis of system properties, component-based software development (CBSD) |
| 1 | Tracy Hall, Nathan Baddoo, Sarah Beecham, Hugh Robinson, Helen Sharp |
A systematic review of theory use in studies investigating the motivations of software engineers. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
software engineering, Motivation |
| 1 | Wes Masri, Andy Podgurski |
Measuring the strength of information flows in programs. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
information flow length, information flow strength, entropy, correlation, dynamic slicing, program dependence, information leakage, Dynamic information flow analysis |
| 1 | Eli Tilevich, Yannis Smaragdakis |
J-Orchestra: Enhancing Java programs with distribution capabilities. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering |
| 1 | Robert M. Hierons |
Verdict functions in testing with a fault domain or test hypotheses. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Test verdicts, fault domains, test hypotheses |
| 1 | Hee Beng Kuan Tan, Yuan Zhao, Hongyu Zhang |
Conceptual data model-based software size estimation for information systems. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
line of code (LOC), multiple linear regression model, Software sizing, conceptual data model |
| 1 | Nirmit Desai, Amit K. Chopra, Munindar P. Singh |
Amoeba: A methodology for modeling and evolving cross-organizational business processes. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Business process modeling, business protocols, requirements evolution |
| 1 | Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling |
From business process models to process-oriented software systems. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Web services, Business process modeling, BPEL, BPMN |
| 1 | Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan |
Interacting process classes. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects |
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lujo Bauer, Jay Ligatti, David Walker |
Composing expressive runtime security policies. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
policy-specification language, policy enforcement, Policy composition |
| 1 | Marco Mamei, Franco Zambonelli |
Programming pervasive and mobile computing applications: The TOTA approach. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
mobile computing, middleware, Pervasive computing, coordination, self-organization, self-adaptation, tuple spaces |
| 1 | David Notkin, Mauro Pezzè |
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Travis D. Breaux, Annie I. Antón, Jon Doyle |
Semantic parameterization: A process for modeling domain descriptions. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
formal specification, Natural language, description logic, domain knowledge |
| 1 | Qing Xie, Atif M. Memon |
Using a pilot study to derive a GUI model for automated testing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
test suite management, Graphical user interfaces, model-based testing, test minimization |
| 1 | Parastoo Mohagheghi, Reidar Conradi |
An empirical investigation of software reuse benefits in a large telecom product. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
fault density, standardization, Software reuse, risks, product family |
| 1 | Christoph Csallner, Yannis Smaragdakis, Tao Xie |
DSD-Crasher: A hybrid analysis tool for bug finding. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, Automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection |
| 1 | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Domain-specific languages and program generation with meta-AspectJ. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Combining symbolic execution with model checking to verify parallel numerical programs. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Lhoták, Laurie J. Hendren |
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction |
| 1 | Atif M. Memon |
Automatically repairing event sequence-based GUI test suites for regression testing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
repairing test cases, test case management, test maintenance, Graphical user interfaces, regression testing |
| 1 | Tsong Yueh Chen, Robert G. Merkel |
An upper bound on software testing effectiveness. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
failure patterns, failure-causing inputs, testing effectiveness metrics, Software testing, random testing, adaptive random testing |
| 1 | Panagiotis Louridas, Diomidis Spinellis, Vasileios Vlachos |
Power laws in software. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
power laws, Scale-free networks |
| 1 | Marcel R. Karam, Trevor J. Smedley, Sergiu M. Dascalu |
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
visual dataflow languages, Software testing, fault detection, color, fault localization |
| 1 | Çigdem Gencel, Onur Demirörs |
Functional size measurement revisited. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
MkII FPA, software benchmarking, Functional size measurement, software estimation, COSMIC FFP |
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amrit Tiwana |
Impact of classes of development coordination tools on software development performance: A multinational empirical study. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Software outsourcing, development coordination tools, efficiency effectiveness tradeoff, knowledge management, empirical study, coordination, Software development, project management, field study, outsourcing, regression analysis, knowledge integration, development tools, collaborative software engineering |
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
| 1 | Johannes Henkel, Christoph Reichenbach, Amer Diwan |
Developing and debugging algebraic specifications for Java classes. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Algebraic interpretation, specification discovery, algebraic specifications |
| 1 | Tanja M. Gruschke, Magne Jørgensen |
The role of outcome feedback in improving the uncertainty assessment of software development effort estimates. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
effort prediction intervals, judgment-based uncertainty assessment, overconfidence, cost estimation, software development management, Software cost estimation |
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Test conditions for fault classes in Boolean specifications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Fault-based testing, Boolean specification, fault classes |
| 1 | Martin P. Robillard |
Topology analysis of software dependencies. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Software evolution, program understanding, separation of concerns, feature location, software change, software navigation |
| 1 | Qing Xie, Atif M. Memon |
Designing and comparing automated test oracles for GUI-based software applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing |
| 1 | Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora |
Recovering traceability links in software artifact management systems using information retrieval methods. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Software artifact management, traceability management, latent semantic indexing, impact analysis |
| 1 | Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff |
Metamodel-based model conformance and multiview consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
multiview consistency, formal methods, Metamodeling, automated verification |
| 1 | Samik Basu, Scott A. Smolka |
Model checking the Java metalocking algorithm. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods |
| 1 | Marius Marin, Arie van Deursen, Leon Moonen |
Identifying Crosscutting Concerns Using Fan-In Analysis. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
fan-in metric, reverse engineering, Aspect-oriented programming, crosscutting concerns |
| 1 | Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre |
Efficient Analysis of DynAlloy Specifications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
software specification, dynamic logic, Alloy, software validation |
| 1 | Timothy M. Meyers, David Binkley |
An empirical study of slice-based cohesion and coupling metrics. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
software intervention, reengineering, coupling, Slicing, cohesion |
| 1 | Shriram Krishnamurthi, Kathi Fisler |
Foundations of incremental aspect model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Incremental verification, feature-oriented software, model checking, aspect-oriented programming, modular verification |
| 1 | David Binkley, Nicolas Gold, Mark Harman |
An empirical study of static program slice size. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
slice size, Program slicing |
| 1 | Wolfgang Emmerich, Mikio Aoyama, Joe Sventek |
The impact of research on the development of middleware technology. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma |
Post-release reliability growth in software products. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Post-release reliability growth, product stabilization time |
| 1 | Carlo Ghezzi |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger |
A formal model of services. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
assumption/commitment specifications, software architecture, Components, services, service engineering |
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Robillard, Gail C. Murphy |
Representing concerns in source code. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Java, software evolution, Separation of concerns, aspect-oriented software development, concern modeling |
| 1 | Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin |
Polychronous design of embedded real-time applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
IMA, Synchronous approach, Signal, Avionics |
| 1 | Luciano Baresi, Sandro Morasca |
Three empirical studies on estimating the design effort of Web applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
W2000, empirical study, effort estimation, Web application design |
| 1 | Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu |
Static checking of dynamically generated queries in database applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
database queries, JDBC, Static checking, context-free language reachability |
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Sinha, Carol Smidts |
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation |
| 1 | Philippe Thiran, Jean-Luc Hainaut, Geert-Jan Houben, Djamal Benslimane |
Wrapper-based evolution of legacy information systems. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
legacy database, evolution, CASE tool, wrapper, data consistency, Schema transformation, data reverse-engineering |
| 1 | David A. Basin, Jürgen Doser, Torsten Lodderstedt |
Model driven security: From UML models to access control infrastructures. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Role-Based Access Control, Model Driven Architecture, metamodeling, Object Constraint Language, security engineering |
| 1 | Robert M. Hierons |
Avoiding coincidental correctness in boundary value analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
boundary value analysis, coincidental correctness, domain faults, Test case generation |
| 1 | Marco Brambilla, Stefano Ceri, Piero Fraternali, Ioana Manolescu |
Process modeling in Web applications. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
worfklows, Web applications, conceptual modeling, Web engineering |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")