Loading…
Loading…
Domain Specific Languages for Optimisation Modelling
Wijesundara, Sameela Suharshani
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)
Get full text
Conference Proceeding
Loading…
A Widening Approach to Multithreaded Program Verification
Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)
Published in ACM transactions on programming languages and systems (28.10.2014)
Get full text
Journal Article
Loading…
Loading…
Assessing the Type Annotation Burden
Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Get full text
Conference Proceeding
Loading…
Falcon: fault localization in concurrent programs
Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Loading…
Reactive Imperative Programming with Dataflow Constraints
Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea
Published in ACM transactions on programming languages and systems (01.01.2015)
Published in ACM transactions on programming languages and systems (01.01.2015)
Get full text
Journal Article
Loading…
Software architecture: foundations, theory, and practice
Medvidovic, Nenad, Taylor, Richard N.
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Loading…
Accurate Interprocedural Null-Dereference Analysis for Java
Nanda, Mangala Gowri, Sinha, Saurabh
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Get full text
Conference Proceeding
Loading…
The MULTI Process Challenge
Almeida, Joao Paulo A., Rutle, Adrian, Wimmer, Manuel, Kuhne, Thomas
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.09.2019)
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.09.2019)
Get full text
Conference Proceeding
Loading…
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes
Ricca, F., Di Penta, M., Torchiano, M., Tonella, P., Ceccato, M.
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Get full text
Conference Proceeding
Loading…
Evaluating the Paper-to-Screen Translation of Participant-Aided Sociograms with High-Risk Participants
Hogan, Bernie, Melville, Joshua R, Philips, 2nd, Gregory Lee, Janulis, Patrick, Contractor, Noshir, Mustanski, Brian S, Birkett, Michelle
Published in Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference (01.05.2016)
Published in Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference (01.05.2016)
Get more information
Journal Article
Loading…
Object-relative addressing: compressed pointers in 64-bit java virtual machines
Venstermans, Kris, Eeckhout, Lieven, De Bosschere, Koen
Published in Proceedings of the 21st European conference on Object-Oriented Programming (30.07.2007)
Published in Proceedings of the 21st European conference on Object-Oriented Programming (30.07.2007)
Get full text
Conference Proceeding
Loading…
A framework of awareness for artificial subjects
Jantsch, Axel, Tammemae, Kalle
Published in 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India (01.10.2014)
Published in 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India (01.10.2014)
Get full text
Conference Proceeding
Loading…
Do Maintainers Utilize Deployed Design Patterns Effectively?
Ng, T.H., Cheung, S.C., Chan, W.K., Yu, Y.T.
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Get full text
Conference Proceeding
Loading…
Loading…
Quality of service engineering with UML, .NET, and CORBA
Weis, Torben, Ulbrich, Andreas, Geihs, Kurt
Published in International Conference on Software Engineering: Proceedings of the 25th International Conference on Software Engineering : Portland, Oregon; 03-10 May 2003 (03.05.2003)
Published in International Conference on Software Engineering: Proceedings of the 25th International Conference on Software Engineering : Portland, Oregon; 03-10 May 2003 (03.05.2003)
Get full text
Conference Proceeding
Loading…
Reengineering analysis of object-oriented systems via duplication analysis
Fiorvanti, F., Migliarese, G., Nesi, P.
Published in International Conference on Software Engineering: Proceedings of the 23rd International Conference on Software Engineering : Toronto, Ontario, Canada; 12-19 May 2001 (01.07.2001)
Published in International Conference on Software Engineering: Proceedings of the 23rd International Conference on Software Engineering : Toronto, Ontario, Canada; 12-19 May 2001 (01.07.2001)
Get full text
Conference Proceeding
Journal Article
Loading…