Tag #dot-net
39 papers:
ECOOP-2018-LamSBM0LH #open source #testing- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects (WL, SS, BB, PM, TX0, PL, JdH), p. 27.
OOPSLA-2017-ParkinsonVVCDMB #memory management- Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
ESEC-FSE-2017-VasicPMG #testing- File-level vs. module-level regression test selection for .NET (MV, ZP, AM, MG), pp. 848–853.
WCRE-2012-Al-OmariKRR #detection #programming language- Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
- WCRE-2011-LammelLPV #framework
- A Framework Profile of .NET (RL, RL, EP, AV), pp. 141–150.
SIGAda-2009-Brosgol #c# #framework- An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
TACAS-2009-BrughNR #named #source code #verification- MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.
SIGMOD-2008-BlakeleyRKPHK #database #programmable #sql- .NET database programmability and extensibility in microsoft SQL server (JAB, VR, IK, AP, MH, CK), pp. 1087–1098.
SEKE-2008-QayyumO #architecture- .NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
- OOPSLA-2008-FerraraLF
- Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.
ISSTA-2008-PachecoLB #fault #random testing #testing- Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
TAP-2008-TillmannH #generative #testing- Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
- SEKE-2007-SadjadiT
- TRAP.NET: A Realization of Transparent Shaping in .NET (SMS, FT), pp. 19–24.
- ECOOP-2007-CabralM #case study #exception #java
- Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.
- SIGMOD-2006-MeijerBB #framework #named #xml
- LINQ: reconciling object, relations and XML in the .NET framework (EM, BB, GMB), p. 706.
ITiCSE-2006-AssuncaoO #education #framework #platform #using #web #web service- Teaching web services using .NET platform (LA, ALO), p. 339.
ESOP-2006-Fruja #runtime #type safety- Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
- ITiCSE-2005-GellerS #c#
- Traditional and more “exotic” .NET languages: VB .NET, J#, C# and SML .NET (VG, CS), p. 406.
- ITiCSE-2005-Guimaraes #database #framework #using
- Constructing database applications for PDA using the .NET framework (MG), p. 417.
SIGITE-2005-AthaudaKWSREGS #education #industrial #java #platform #tool support- Integrating industrial technologies, tools and practices to the IT curriculum: an innovative course with .NET and java platforms (RIA, NK, JW, PS, LR, AE, AG, DDS), pp. 125–132.
- SIGITE-2005-ZhuCT #database #design #object-oriented
- In-process object-oriented database design for .NET (YZ, JC, MHNT), pp. 139–142.
EDOC-2005-Abd-AliG #metamodelling- An MDA-Oriented .NET Metamodel (JAA, KEG), pp. 142–156.
GTTSE-2005-AndradeGAEK #migration #named- Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.
ICSE-2005-GortonL #architecture #enterprise #integration- An architects guide to enterprise application integration with J2EE and .NET (IG, AL), pp. 726–727.
SAC-2005-CabralMS #named- RAIL: code instrumentation for .NET (BC, PM, LMS), pp. 1282–1287.
- SIGMOD-2004-AchesonBBCEFJKRSSVZ #runtime #sql
- Hosting the .NET Runtime in Microsoft SQL Server (AA, MB, JAB, PC, EE, JF, XJ, CK, BR, GS, BS, RV, HZ), pp. 860–865.
- SIGITE-2004-McMahon #c# #case study #education #framework #how #learning #what
- How can you teach what you don’t know?: a case study of learning and teaching microsoft .NET framework and C# (REM), p. 269.
CSMR-2004-MoiseWS #reverse engineering #visual notation- Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET (DLM, KW, DS), pp. 85–94.
POPL-2004-YuKS #formal method #runtime- Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
GPCE-2004-CepaM #dependence- Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.
DATE-v1-2004-LapalmeANCBDB #framework #generative #modelling #simulation #tool support- .NET Framework — A Solution for the Next Generation Tools for System-Level Modeling and Simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 732–733.
HPDC-2004-WassonBMH - WS-ResourceFramework on .NET (GSW, NB, MMM, MH), pp. 258–259.
- SIGAda-2003-HumphriesCW #ada #multi #programming
- Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.
PPDP-2002-DrapeMS #logic programming #using- Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.
- SIGAda-2002-CarlisleSH #ada #weaving
- Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.
ASE-2002-BaudryFJT #adaptation #automation #component #optimisation #testing #using- Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component (BB, FF, JMJ, YLT), pp. 253–256.
- ECOOP-2001-MeijerPY #using
- Scripting .NET Using Mondrian (EM, NP, AvY), pp. 150–164.
TOOLS-USA-2001-ArnoutS #contract #design #eiffel- The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
PLDI-2001-KennedyS #design #implementation #runtime- Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
