All pages

From SE Wiki
Jump to: navigation, search
All pages
 
All pages
08/13/2010APToPAinsley Lawson
Albert LaiAll PublicationsArie Gurfinkel
Automated Consistency Management and Change Propagation for Collections of ModelsBenet DevereuxBrent Mombourquette
Business intelligence enabled adaptive enterprise architectureBusiness intelligence modelingChange Propagation
Chengyan ZhaoClimate Modelling
Collaborative Decision Making in Software Engineering over DistanceComputing and Climate ChangeContact
Current studentsCustomizableSoftwareDetailedOverview
E.C.R. HehnerE.C.R Hehner
Eastern PromisesEclipse knowledge hub
Eric YuFormal Methods
Funding and CollaboratorsGolnaz ElahiGreg Wilson
Gurfinkel2006VMCAIHomework letter to ObamaI*
IT proposalInternalIoannis Kassios
JSCOOPJapeJob Opportunities
John MylopoulosKelly Lyons
MMTFMain PageMarsha Chechik
MatchTool/MathEdit
MathSPadMehrdad SabetzadehMihaelaGheorghiu
Mihaela GheorghiuModel CheckingModel Management
Model Management Toolkit and Relationships FormalizationModeling business strategies for software and systems requirements engineeringModelling solutions to climate change
Nan NiuNeil ErnstNew
NewEventsNewPeopleNewProjects
NewPublicationsNewSiteBetaNew Dynamics Core for the Hadley Models
OpenOMEOu WeiOverview
POCPeoplePeter Kanareitsev
Potential topics to discussPotluckPrevious talks
ProjectTemplateProject M1: Automated Consistency Management and Change Propagation for Collections of ModelsProject M2: Model Management Toolkit and Relationships Formalization
Project M3: Slicing of Model CollectionsProject M4: Software Model CheckingProject M5: Reasoning about Web Services
Project M6: Partial Behavioural Models of SoftwareProject M7: Support for Capturing and Inferring Model RolesProjects
ProspectiveStudentsPtYasmPub1
Pub2Pub3Pub4
Pub5Pub6Pub Option1
Pub Option2PublicationsPublications before 2001
Publications by A. GurfinkelPublications by A. LaiPublications by A. Tafliovich
Publications by A. WongPublications by B. DevereuxPublications by C. Thompson-Walsh
Publications by D. O. PaunPublications by E.C.R. HehnerPublications by G. Brunet
Publications by I.T.KassiosPublications by M. BobaruPublications by M. Chechik
Publications by M. GheorghiuPublications by M. SabetzadehPublications by Marsha Chechik
Publications by N. NiuPublications by O. WeiPublications by R.F.Paige
Publications by S. E. SimPublications by S. EasterbrookPublications by S. Nejati
Publications by V. PetrovykhPublications by W. DingPublications by W. Liu
Publications by Y. JiaPublications in 2001Publications in 2002
Publications in 2003Publications in 2004Publications in 2005
Publications in 2006Publications in unspecified yearPythonGUI
RECaseStudiesReadingGroupReading Groups
Requirements monitoringResearch Software EngineerRobert Will
SEWikiAccountsSE Seminar
Samar SabieSecurity and Privacy for Internet ServicesShiva Nejati
Slicing of Model CollectionsSofterReadingGroupSolid Intuition
Solid Intuition/ACSolid Intuition/Debt
Solid Intuition/DifferencesSolid Intuition/FeaturesSolid Intuition/Literature
Solid Intuition/MilestonesSolid Intuition/ScreenSolid Intuition/Types
Solid Intuition/UnificationSteve EasterbrookStrategic knowledge base for software process design
Strategic modeling with i* - analysis techniquesStudent1StudentTemplate
TReMerTReMer+Teaching
TestToolsTypes
VaqTreeVerisec: Verification for SecurityVerisec Suite
Wendy LiuXCheckYinghua Jia