Sciweavers

510 search results - page 58 / 102
» An IDE for software development using tabular expressions
Sort
View
158
Voted
AOSD
2008
ACM
15 years 5 months ago
StrongAspectJ: flexible and safe pointcut/advice bindings
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
Bruno De Fraine, Mario Südholt, Viviane Jonck...
147
Voted
BMCBI
2008
148views more  BMCBI 2008»
15 years 3 months ago
Automating dChip: toward reproducible sharing of microarray data analysis
Background: During the past decade, many software packages have been developed for analysis and visualization of various types of microarrays. We have developed and maintained the...
Cheng Li
126
Voted
BMCBI
2007
111views more  BMCBI 2007»
15 years 3 months ago
Novel definition files for human GeneChips based on GeneAnnot
Background: Improvements in genome sequence annotation revealed discrepancies in the original probeset/gene assignment in Affymetrix microarray and the existence of differences be...
Francesco Ferrari, Stefania Bortoluzzi, Alessandro...
126
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Formal concept analysis applied to fault localization
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
Peggy Cellier
124
Voted
RE
2001
Springer
15 years 8 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...