Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,377,776 papers from all fields of science
Search
Sign In
Create Free Account
ACM Transactions on Software Engineering and Methodology
The ACM Transactions on Software Engineering and Methodology (TOSEM) is a quarterly peer-reviewed scientific journal on Software Engineering…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Domain engineering
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013
G. Denaro
,
M. Pezzè
,
D. Tosi
2014
Corpus ID: 64072897
2009
2009
Analyse Texte et Image pour la caractérisation de l'activité dans les Films d'Animation
Grégory Païs
,
Françoise Deloule
,
D. Beauchêne
,
P. Lambert
INFORSID
2009
Corpus ID: 21019591
Definir une indexation pertinente sur le contenu semantique des films ou videos est un defi actuel. Nous proposons de rechercher…
Expand
Highly Cited
2008
Highly Cited
2008
Compositional Verification for Component-Based Systems and Application
S. Bensalem
,
M. Bozga
,
J. Sifakis
,
Thanh-Hung Nguyen
Automated Technology for Verification and…
2008
Corpus ID: 14510904
We present a compositional method for the verification of component-based systems described in a subset of the BIP language…
Expand
Highly Cited
2008
Highly Cited
2008
Topology analysis of software dependencies
M. Robillard
TSEM
2008
Corpus ID: 11546701
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to…
Expand
2007
2007
Efficient Analysis of DynAlloy Specifications
M. Frias
,
C. L. Pombo
,
Juan P. Galeotti
,
Nazareno Aguirre
TSEM
2007
Corpus ID: 2970483
DynAlloy is an extension of Alloy to support the definition of actions and the specification of assertions regarding execution…
Expand
2007
2007
Dynamic Service Discovery Through Meta-interactions with Service Providers
T. Vitvar
,
Maciej Zaremba
,
Matthew Moran
Extended Semantic Web Conference
2007
Corpus ID: 14573455
Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration…
Expand
Highly Cited
2005
Highly Cited
2005
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
A. Rountev
,
S. Kagan
,
Jason Sawin
Fundamental Approaches to Software Engineering
2005
Corpus ID: 2735894
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The…
Expand
Highly Cited
2004
Highly Cited
2004
Workflow and information centered support of design processes - the IMPROVE perspective
W. Marquardt
,
M. Nagl
Computers and Chemical Engineering
2004
Corpus ID: 15302930
Review
2003
Review
2003
Consistency Management Within Model-Based Object-Oriented Development of Components
J. Küster
,
G. Engels
Formal Methods for Components and Objects
2003
Corpus ID: 7392618
The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system…
Expand
Review
2002
Review
2002
User-Centred Requirements Engineering
PhD Alistair Sutcliffe MA
Springer London
2002
Corpus ID: 34645482
ion finder for use in requirements elicitation. Automated Software Engineering 4, pp. 375-418. Gotel, OTZ and Finkelstein, ACW…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE