- FeaturesOnDemand . . . December 23, 2013, at 04:22 PM by ncardozo?:
- IdentificationAndManagementOfInconsistenciesInDynamicallyAdaptiveSoftwareSystems . . . September 17, 2013, at 02:17 PM by ncardozo?:
- ModelingAndAnalyzingSelf-AdaptiveSystemsWithContextPetriNets . . . July 10, 2013, at 12:02 PM by ncardozo?:
- ContextTraitsDynamicBehaviourAdaptationThroughRun-TimeTraitRecomposition . . . February 02, 2013, at 02:31 PM by mens?:
- Subjective-CMultithreadedContext-OrientedProgrammingwithObjective-C . . . December 05, 2012, at 11:14 AM by ncardozo?:
- Subjective-CEnablingContext-AwareProgrammingOnIPhones . . . December 04, 2012, at 01:42 PM by ncardozo?:
- TowardsATaxonomyOfToolsForDocumentingCodeDesign . . . July 09, 2012, at 11:17 PM by scastro?:
- GenerationAndCompositionOfCorrectiveActionsToStructuralDesignProblemsInCodeWithHeal . . . July 09, 2012, at 11:14 PM by scastro?:
- LogicObjectsALinguisticSymbiosisApproachToBringTheDeclarativePowerOfPrologToJava . . . July 09, 2012, at 11:01 PM by scastro?:
- DynamicSchemaALightweightPersistencyFrameworkForContext-OrientedDataManagement . . . July 09, 2012, at 10:52 PM by scastro?:
- UnifyingGlobalAndContextBehaviorWithContextPetriNets . . . July 03, 2012, at 04:24 PM by ncardozo?:
- ContextPetriNetsEnablingConsistentCompositionOfContext-DependentBehavior . . . July 02, 2012, at 01:00 PM by ncardozo?:
- Context-OrientedProgramming . . . June 28, 2012, at 09:11 AM by ncardozo?:
- ContextPetriNetsDefinitionAndManagement . . . April 23, 2012, at 03:01 PM by ncardozo?:
- AQualitativeComparisonOfThreeAspectMiningTechniques . . . April 18, 2012, at 10:04 PM by mens?:
- ApplyingAndCombiningThreeDifferentAspectMiningTechniques . . . April 18, 2012, at 10:04 PM by mens?:
- ASurveyOfAutomatedCode-LevelAspectMiningTechniques . . . April 18, 2012, at 10:03 PM by mens?:
- PitfallsInAspectMining . . . April 18, 2012, at 10:02 PM by mens?:
- AutomatedAssessmentOfCorrectnessOfRecommendationSystems . . . March 23, 2012, at 03:50 PM by lozanorodrig?:
- ProgrammingInAmbienceGearingUpForDynamicAdaptationToContext . . . March 20, 2012, at 10:48 AM by 314r?:
- BuildingComposableAspect-specificLanguagesWithLogicMetaprogramming . . . March 20, 2012, at 01:19 AM by mens?:
- MaintainingSoftwareThroughIntentionalSource-CodeViews . . . March 20, 2012, at 01:14 AM by mens?:
- WorkshopOnKnowledge-BasedObject-OrientedSoftwareEngineering . . . March 20, 2012, at 01:09 AM by mens?:
- SupportingSoftwareEvolutionWithIntentionalSoftwareViews . . . March 20, 2012, at 01:00 AM by mens?:
- ManagingUnanticipatedEvolutionOfSoftwareArchitectures . . . March 20, 2012, at 12:57 AM by mens?:
- DeclarativelyCodifyingSoftwareArchitecturesUsingVirtualSoftwareClassifications . . . March 20, 2012, at 12:51 AM by mens?:
- AssessingTheEvolvabilityOfSoftwareArchitectures . . . March 20, 2012, at 12:47 AM by mens?:
- WorkshopReport-ECOOP98Workshop7OnToolsAndEnvironmentsForBusinessRules . . . March 20, 2012, at 12:42 AM by mens?:
- Aspect-OrientedProgrammingWorkshopReport . . . March 20, 2012, at 12:35 AM by mens?:
- CombiningBehaviouralAndStructuralSoftwareDescriptions . . . March 20, 2012, at 12:30 AM by mens?:
- ManagingSoftwareEvolutionThroughReuseContracts . . . March 20, 2012, at 12:24 AM by mens?:
- OPUSAFormalApproachToObject-Orientation . . . March 20, 2012, at 12:10 AM by mens?:
- Guest . . . March 19, 2012, at 11:28 PM by mens?:
- MiningSourceCodeForStructuralRegularities . . . March 19, 2012, at 11:27 PM by mens?:
- MEntoRMiningEntitiesToRules . . . March 19, 2012, at 11:26 PM by mens?:
- DeclarativeMetaProgrammingToSupportSoftwareDevelopmentWorkshopReport . . . March 19, 2012, at 11:22 PM by mens?:
- FifthInternationalWorkshopOnObject-orientedReengineering . . . March 19, 2012, at 11:16 PM by mens?:
- MiningAspectualViewsUsingFormalConceptAnalysis . . . March 19, 2012, at 11:13 PM by mens?:
- Object-orientedReengineering . . . March 19, 2012, at 11:06 PM by mens?:
- AcademicSoftwareDevelopmentToolsAndTechniques . . . March 19, 2012, at 10:43 PM by mens?:
- OrchestratingContext-AwareSystemsADesignPerspective . . . March 19, 2012, at 10:31 PM by mens?:
- DiagnosisAndSemi-automaticCorrectionOfDetectedDesignInconsistenciesInSourceCode . . . March 19, 2012, at 10:30 PM by mens?:
- SaferContextDeActivationThroughThePrompt-LoyalStrategy . . . March 19, 2012, at 10:25 PM by mens?:
- DiagnosingAndCorrectingDesignInconsistenciesInSourceCodeWithLogicalAbduction . . . March 19, 2012, at 10:19 PM by mens?:
- SecondInternationalWorkshopOnSoftwareResearchAndClimateChange . . . March 19, 2012, at 10:18 PM by mens?:
- AutomatedGenerationOfProgramTranslationAndVerificationToolsUsingAnnotatedGrammars . . . March 19, 2012, at 10:14 PM by mens?:
- Feature-OrientedProgrammingAndContext-OrientedProgrammingComparingParadigmCharacteristicsByExampleImplementations . . . March 19, 2012, at 10:04 PM by mens?:
- PredicatedGenericFunctionsEnablingContext-DependentMethodDispatch . . . March 19, 2012, at 09:58 PM by mens?:
- Subjective-CBringingContextToMobilePlatformProgramming . . . March 19, 2012, at 09:52 PM by mens?:
- TowardsAFrameworkForTestingStructuralSource-CodeRegularities . . . December 10, 2011, at 10:04 PM by mens?:
- PrefaceToVariabilityAtER2011 . . . October 31, 2011, at 04:53 PM by mens?:
- VariabilityAtER2011-WorkshopOnSoftwareVariability . . . October 31, 2011, at 04:41 PM by mens?:
- AnOverviewOfTechniquesForDetectingSoftwareVariabilityConceptsInSourceCode . . . October 31, 2011, at 04:38 PM by mens?:
- AssessingArchitecturalEvolutionACaseStudy . . . October 31, 2011, at 09:26 AM by mens?:
- EvolutionIssuesInAspect-OrientedProgramming . . . October 22, 2011, at 03:33 PM by mens?:
- 7thWorkshopOnObject-OrientedReengineering . . . October 22, 2011, at 03:25 PM by mens?:
- HighlyDynamicBehaviourAdaptabilityThroughPrototypesWithSubjectiveMultimethods . . . October 22, 2011, at 03:11 PM by mens?:
- ReportOfTheSixthInternationalWorkshopOnObject-OrientedReengineering . . . October 22, 2011, at 02:55 PM by mens?:
- APPAREILAToolForBuildingAutomatedProgramTranslatorsUsingAnnotatedGrammars . . . October 21, 2011, at 10:50 AM by mens?:
- TransactionalContextsHarnessingThePowerOfContext-OrientedReflection . . . October 21, 2011, at 10:41 AM by mens?:
- ASelf-AdaptableNetworkTopologyForAmbientIntelligence . . . October 19, 2011, at 09:46 PM by mens?:
- MendelSourceCodeRecommendationBasedOnAGeneticMetaphor . . . October 19, 2011, at 09:34 PM by mens?:
- TheIntensionalViewEnvironment . . . October 19, 2011, at 09:23 PM by mens?:
- IntensiVEAToolsuiteForDocumentingAndCheckingStructuralSource-CodeRegularities . . . October 19, 2011, at 09:16 PM by mens?:
- SupportingSoftwareDevelopmentThroughDeclarativelyCodifiedProgrammingPatterns . . . October 19, 2011, at 09:10 PM by mens?:
- ReuseContractsManagingTheEvolutionOfReusableAssets . . . October 19, 2011, at 09:10 PM by mens?:
- Aspect-OrientedSoftwareEvolution . . . October 19, 2011, at 09:05 PM by mens?:
- DelvingSourceCodeWithFormalConceptAnalysis . . . October 19, 2011, at 09:01 PM by mens?:
- Co-evolvingCodeAndDesignWithIntensionalViews-ACaseStudy . . . October 19, 2011, at 08:54 PM by mens?:
- Context-OrientedProgrammingWithTheAmbientObjectSystem . . . October 19, 2011, at 08:52 PM by mens?:
- ToolBuildingOnTheShouldersOfOthers . . . October 19, 2011, at 08:50 PM by mens?:
- LanguageEngineeringForMobileSoftware . . . October 19, 2011, at 06:35 PM by mens?:
- ManagingTheEvolutionOfAspect-OrientedSoftwareWithModel-basedPointcuts . . . October 19, 2011, at 06:18 PM by mens?:
- AUnifiedMechanismForImprovingAdvancedTransactionManagementInWebServices . . . October 19, 2011, at 05:58 PM by mens?:
- OpenUnificationForProgramQueryLanguages . . . October 19, 2011, at 05:52 PM by mens?:
- PloneGovAsAnOpenSourceProductLine . . . October 19, 2011, at 05:42 PM by mens?:
- UsingAnnotatedGrammarsForTheAutomatedGenerationOfProgramTransformers . . . October 19, 2011, at 05:32 PM by mens?:
- AModel-drivenPointcutLanguageForMoreRobustPointcuts . . . October 19, 2011, at 05:15 PM by mens?:
- AComparativeFrameworkForDesignRecoveryTools . . . October 19, 2011, at 03:49 PM by mens?:
- IssuesAndProblemsInTestAndOperationsLanguageTranslation . . . October 19, 2011, at 03:19 PM by mens?:
- EnforcingStructuralRegularitiesInSourceCodeUsingIntensiVE . . . October 19, 2011, at 02:56 PM by mens?:
- Application-SpecificModelsAndPointcutsUsingALogicMetaLanguage . . . October 19, 2011, at 02:10 PM by mens?:
- PALTAPeer-to-peerAdaptableTopologyForAmbientIntelligence . . . October 19, 2011, at 01:23 PM by mens?:
- AutomatedDerivationOfTranslatorsFromAnnotatedGrammars . . . October 19, 2011, at 01:07 PM by mens?:
- UsingIntentionalSourceCodeViewsToAidSoftwareMaintenance . . . October 04, 2011, at 09:30 PM by mens?:
- UsingIntentionalSource-CodeViewsToAidSoftwareMaintenance? . . . October 04, 2011, at 09:29 PM by mens?:
- EnforcingStructuralRegularitiesInSoftwareUsingIntensiVE . . . October 04, 2011, at 07:57 PM by mens?:
- TrackingClonesImprint . . . October 04, 2011, at 03:28 PM by lozanorodrig?:
- ReportOfThe2ndWorkshopOnObject-OrientedLanguageEngineeringForThePost-JavaEraBackToDynamicity . . . October 03, 2011, at 10:18 AM by sgonzalez?:
- EvolutionaryProblemsInAspect-OrientedSoftwareDevelopment . . . September 25, 2011, at 04:54 PM by mens?:
- Publications . . . September 23, 2011, at 07:37 PM by mens?:
- AFormalAnalysisOfRequirements-BasedTesting? . . . September 19, 2011, at 12:03 PM by mens?:
- PDVerAToolToVerifyPDDLPlanningDomains? . . . September 19, 2011, at 12:02 PM by mens?:
- ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction? . . . September 19, 2011, at 12:02 PM by mens?:
- CombiningPartialOrderReductionWithBoundedModelChecking? . . . September 19, 2011, at 12:02 PM by mens?:
- OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel? . . . September 19, 2011, at 12:02 PM by mens?:
- 25thIEEE-ACMInternationalConferenceOnAutomatedSoftwareEngineering? . . . September 19, 2011, at 12:02 PM by mens?:
- Test? . . . September 12, 2011, at 04:17 PM by 314r?:
- FormalVerificationOfAutonomyModelsFromLivingstoneToSMV? . . . September 12, 2011, at 12:13 AM by KimMens:
- TestingPlanningDomainsWithoutModelCheckers? . . . September 12, 2011, at 12:13 AM by KimMens:
- SymbolicModelCheckingOfLogicsWithActions? . . . September 11, 2011, at 04:28 PM by KimMens:
- EfficientSymbolicModelCheckingForProcessAlgebras? . . . September 11, 2011, at 04:14 PM by KimMens:
- MilestonesAModelCheckerCombiningSymbolicModelCheckingAndPartialOrderReduction? . . . September 11, 2011, at 04:12 PM by KimMens:
- CombiningPartialOrderReductionAndSymbolicModelCheckingToVerifyLTLProperties? . . . September 11, 2011, at 04:12 PM by KimMens:
- AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction? . . . September 11, 2011, at 04:12 PM by KimMens:
- VerificationAndValidationAndArtificialIntelligence? . . . September 11, 2011, at 04:12 PM by KimMens:
- ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability? . . . September 11, 2011, at 04:11 PM by KimMens:
- AutomaticVerificationOfKnowledgeAndTimeWithNuSMV? . . . September 11, 2011, at 04:11 PM by KimMens:
- BibtexIndex? . . . May 03, 2010, at 10:21 AM by pecheur?:
- TestTitle? . . . May 02, 2010, at 09:01 PM by pecheur?:
- TestTitle2? . . . May 02, 2010, at 09:01 PM by pecheur?:
- Test2May2010? . . . May 02, 2010, at 09:00 PM by pecheur?:
- Test2MaiSoir? . . . May 02, 2010, at 09:00 PM by pecheur?:
- Test2Mai4? . . . May 02, 2010, at 09:00 PM by pecheur?:
- Test2Mai3? . . . May 02, 2010, at 08:59 PM by pecheur?:
- Test2Mai4-Bibtex? . . . May 02, 2010, at 07:49 PM by pecheur?:
- Test2Mai3-Bibtex? . . . May 02, 2010, at 07:48 PM by pecheur?:
- Test2MaiSoir-Bibtex? . . . May 02, 2010, at 07:42 PM by pecheur?:
- Test2May2010-Bibtex? . . . May 02, 2010, at 05:10 PM by pecheur?:
- EfficientSymbolicModelCheckingForProcessAlgebras-Bibtex? . . . April 30, 2010, at 09:37 PM by 314r?:
- TestTitle2-Bibtex? . . . April 30, 2010, at 09:35 PM by 314r?:
- TestTitle-Bibtex? . . . April 30, 2010, at 06:09 PM by pecheur?:
- OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel-Bibtex? . . . April 30, 2010, at 04:29 PM by pecheur?:
- VerificationAndValidationAndArtificialIntelligence-Bibtex? . . . April 30, 2010, at 04:11 PM by pecheur?:
- ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability-Bibtex? . . . April 30, 2010, at 04:03 PM by pecheur?:
- FormalVerificationOfDiagnosabilityViaSymbolicModelChecking? . . . April 30, 2010, at 04:00 PM by pecheur?:
- SymbolicModelCheckingOfLogicsWithActions-Bibtex? . . . April 30, 2010, at 03:53 PM by pecheur?:
- AutomaticVerificationOfKnowledgeAndTimeWithNuSMV-Bibtex? . . . April 30, 2010, at 03:43 PM by pecheur?:
- ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction-Bibtex? . . . April 30, 2010, at 02:05 PM by pecheur?:
- PDVerAToolToVerifyPDDLPlanningDomains-Bibtex? . . . April 30, 2010, at 01:42 PM by pecheur?:
- CombiningPartialOrderReductionWithBoundedModelChecking-Bibtex? . . . April 30, 2010, at 12:04 PM by pecheur?:
- FormalVerificationOfAutonomyModelsFromLivingstoneToSMV-Bibtex? . . . April 30, 2010, at 11:06 AM by 314r?:
- TestingPlanningDomainsWithoutModelCheckers-Bibtex? . . . April 30, 2010, at 11:06 AM by 314r?:
- AFormalAnalysisOfRequirements-BasedTesting-Bibtex? . . . April 30, 2010, at 11:05 AM by 314r?:
- FormalVerificationOfDiagnosabilityViaSymbolicModelChecking-Bibtex? . . . April 30, 2010, at 10:01 AM by 314r?: